Set encoding in txt2tags documents to utf-8.

This commit is contained in:
bringert
2005-12-08 10:04:34 +00:00
parent d6fb8d218b
commit 0ca556122c
8 changed files with 13 additions and 7 deletions

View File

@@ -2,12 +2,13 @@
<HTML> <HTML>
<HEAD> <HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net"> <META NAME="generator" CONTENT="http://txt2tags.sf.net">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<TITLE>GF Darcs repository</TITLE> <TITLE>GF Darcs repository</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>GF Darcs repository</H1> <P ALIGN="center"><CENTER><H1>GF Darcs repository</H1>
<FONT SIZE="4"> <FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR> <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Tue Dec 6 14:29:33 2005 Last update: Thu Dec 8 11:04:16 2005
</FONT></CENTER> </FONT></CENTER>
<P></P> <P></P>

View File

@@ -8,6 +8,7 @@ Last update: %%date(%c)
%!target:html %!target:html
%!options(html): --toc %!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.** **GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.**

View File

@@ -2,12 +2,13 @@
<HTML> <HTML>
<HEAD> <HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net"> <META NAME="generator" CONTENT="http://txt2tags.sf.net">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<TITLE>Transfer language reference</TITLE> <TITLE>Transfer language reference</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>Transfer language reference</H1> <P ALIGN="center"><CENTER><H1>Transfer language reference</H1>
<FONT SIZE="4"> <FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR> <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Wed Dec 7 13:24:23 2005 Last update: Thu Dec 8 11:04:17 2005
</FONT></CENTER> </FONT></CENTER>
<P></P> <P></P>

View File

@@ -8,7 +8,7 @@ Last update: %%date(%c)
%!target:html %!target:html
%!options(html): --toc %!options(html): --toc
%!encoding:utf-8
This document describes the features of the Transfer language. This document describes the features of the Transfer language.
See the [Transfer tutorial transfer-tutorial.html] See the [Transfer tutorial transfer-tutorial.html]

View File

@@ -2,12 +2,13 @@
<HTML> <HTML>
<HEAD> <HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net"> <META NAME="generator" CONTENT="http://txt2tags.sf.net">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<TITLE>Transfer tutorial</TITLE> <TITLE>Transfer tutorial</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>Transfer tutorial</H1> <P ALIGN="center"><CENTER><H1>Transfer tutorial</H1>
<FONT SIZE="4"> <FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR> <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Tue Dec 6 23:50:54 2005 Last update: Thu Dec 8 11:04:17 2005
</FONT></CENTER> </FONT></CENTER>
<P></P> <P></P>

View File

@@ -8,7 +8,7 @@ Last update: %%date(%c)
%!target:html %!target:html
%!options(html): --toc %!options(html): --toc
%!encoding:utf-8
= Objective = = Objective =

View File

@@ -2,12 +2,13 @@
<HTML> <HTML>
<HEAD> <HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net"> <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> <TITLE>The GF Transfer language</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>The GF Transfer language</H1> <P ALIGN="center"><CENTER><H1>The GF Transfer language</H1>
<FONT SIZE="4"> <FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR> <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Tue Dec 6 14:26:07 2005 Last update: Thu Dec 8 11:02:55 2005
</FONT></CENTER> </FONT></CENTER>
<P> <P>
@@ -26,5 +27,5 @@ all constructs in the Transfer language.
</P> </P>
<!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> <!-- 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> </BODY></HTML>

View File

@@ -7,6 +7,7 @@ Last update: %%date(%c)
% txt2tags transfer.txt % txt2tags transfer.txt
%!target:html %!target:html
%!encoding:utf-8
The GF Transfer language is a programming language which can be The GF Transfer language is a programming language which can be
used to write functions which work on abstract syntax terms. used to write functions which work on abstract syntax terms.