diff options
| author | aarne <aarne@chalmers.se> | 2011-10-03 15:42:12 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-10-03 15:42:12 +0000 |
| commit | 4af079006bfc9f09548332bba08428c1155f9729 (patch) | |
| tree | 26acf2b1b938addbc7e41712d96b52eba1dc196d | |
| parent | 44ecbd11bcc8a2f8145eff027276cbe257c996c2 (diff) | |
gf-bibliography.html with Thomas' corrected links
| -rw-r--r-- | doc/gf-bibliography.html | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index f9e28b51e..0444301fc 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -1,14 +1,16 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML> <HEAD> -<META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<META NAME="generator" CONTENT="http://txt2tags.org"> +<LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css"> <TITLE>Grammatical Framework Bibliography</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> -<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1> -<FONT SIZE="4"> -<I>Aarne Ranta</I><BR> -Tue Dec 15 15:38:41 2009 -</FONT></CENTER> +<CENTER> +<H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>Grammatical Framework Bibliography</H1> +<FONT SIZE="4"><I>Aarne Ranta</I></FONT><BR> +<FONT SIZE="4">Mon Oct 3 17:42:07 2011</FONT> +</CENTER> + <H2>Publications on GF</H2> @@ -742,6 +744,6 @@ A. Ranta. <I>Interprets Lambek Calculus in type theory and defines some extensions</I>. </P> -<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) --> -<!-- cmdline: txt2tags -thtml gf-bibliography.txt --> +<!-- html code generated by txt2tags 2.6 (http://txt2tags.org) --> +<!-- cmdline: txt2tags -thtml gf-bibliography.t2t --> </BODY></HTML> |