diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-08 10:04:34 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-08 10:04:34 +0000 |
| commit | 913a15a083b71c0144d9b8c02dca8c8d3eb7e332 (patch) | |
| tree | 5a6d5791c2723a75936d73594b518adde77420b1 | |
| parent | a282336de65cd9e6aff14f58fc102f9f27d52a6b (diff) | |
Set encoding in txt2tags documents to utf-8.
| -rw-r--r-- | doc/darcs.html | 3 | ||||
| -rw-r--r-- | doc/darcs.txt | 1 | ||||
| -rw-r--r-- | doc/transfer-reference.html | 3 | ||||
| -rw-r--r-- | doc/transfer-reference.txt | 2 | ||||
| -rw-r--r-- | doc/transfer-tutorial.html | 3 | ||||
| -rw-r--r-- | doc/transfer-tutorial.txt | 2 | ||||
| -rw-r--r-- | doc/transfer.html | 5 | ||||
| -rw-r--r-- | doc/transfer.txt | 1 |
8 files changed, 13 insertions, 7 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index 7c74741e6..1d8033102 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -2,12 +2,13 @@ <HTML> <HEAD> <META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <TITLE>GF Darcs repository</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> <P ALIGN="center"><CENTER><H1>GF Darcs repository</H1> <FONT SIZE="4"> <I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> -Last update: Tue Dec 6 14:29:33 2005 +Last update: Thu Dec 8 11:04:16 2005 </FONT></CENTER> <P></P> diff --git a/doc/darcs.txt b/doc/darcs.txt index 2dc0fba8f..c2ec12926 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -8,6 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc +%!encoding:utf-8 **GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.** diff --git a/doc/transfer-reference.html b/doc/transfer-reference.html index 64b9f61b0..1f6b5f516 100644 --- a/doc/transfer-reference.html +++ b/doc/transfer-reference.html @@ -2,12 +2,13 @@ <HTML> <HEAD> <META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <TITLE>Transfer language reference</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> <P ALIGN="center"><CENTER><H1>Transfer language reference</H1> <FONT SIZE="4"> <I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> -Last update: Wed Dec 7 13:24:23 2005 +Last update: Thu Dec 8 11:04:17 2005 </FONT></CENTER> <P></P> diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt index 716b79cef..02009fceb 100644 --- a/doc/transfer-reference.txt +++ b/doc/transfer-reference.txt @@ -8,7 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc - +%!encoding:utf-8 This document describes the features of the Transfer language. See the [Transfer tutorial transfer-tutorial.html] diff --git a/doc/transfer-tutorial.html b/doc/transfer-tutorial.html index 80dcf8682..31fceadb9 100644 --- a/doc/transfer-tutorial.html +++ b/doc/transfer-tutorial.html @@ -2,12 +2,13 @@ <HTML> <HEAD> <META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <TITLE>Transfer tutorial</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> <P ALIGN="center"><CENTER><H1>Transfer tutorial</H1> <FONT SIZE="4"> <I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> -Last update: Tue Dec 6 23:50:54 2005 +Last update: Thu Dec 8 11:04:17 2005 </FONT></CENTER> <P></P> diff --git a/doc/transfer-tutorial.txt b/doc/transfer-tutorial.txt index e3a8c5954..ad9a4ea55 100644 --- a/doc/transfer-tutorial.txt +++ b/doc/transfer-tutorial.txt @@ -8,7 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc - +%!encoding:utf-8 = Objective = diff --git a/doc/transfer.html b/doc/transfer.html index 87c5bb05f..af85b77b5 100644 --- a/doc/transfer.html +++ b/doc/transfer.html @@ -2,12 +2,13 @@ <HTML> <HEAD> <META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <TITLE>The GF Transfer language</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> <P ALIGN="center"><CENTER><H1>The GF Transfer language</H1> <FONT SIZE="4"> <I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> -Last update: Tue Dec 6 14:26:07 2005 +Last update: Thu Dec 8 11:02:55 2005 </FONT></CENTER> <P> @@ -26,5 +27,5 @@ all constructs in the Transfer language. </P> <!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> -<!-- cmdline: txt2tags darcs.txt transfer-reference.txt transfer-tutorial.txt transfer.txt --> +<!-- cmdline: txt2tags transfer.txt --> </BODY></HTML> diff --git a/doc/transfer.txt b/doc/transfer.txt index 7952aae5f..4a43d1762 100644 --- a/doc/transfer.txt +++ b/doc/transfer.txt @@ -7,6 +7,7 @@ Last update: %%date(%c) % txt2tags transfer.txt %!target:html +%!encoding:utf-8 The GF Transfer language is a programming language which can be used to write functions which work on abstract syntax terms. |