Set encoding in txt2tags documents to utf-8.

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

View File

@@ -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 &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>
<P></P>

View File

@@ -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.**

View File

@@ -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 &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>
<P></P>

View File

@@ -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]

View File

@@ -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 &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>
<P></P>

View File

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

View File

@@ -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 &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>
<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>

View File

@@ -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.