diff options
Diffstat (limited to 'doc/gf-bibliography.html')
| -rw-r--r-- | doc/gf-bibliography.html | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index d736a28e2..63cfe2084 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -1,19 +1,20 @@ <!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> +<meta name = "viewport" content = "width = device-width"><TITLE>Grammatical Framework Bibliography</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> -<P ALIGN="center"><CENTER><H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>Grammatical Framework Bibliography</H1> -<FONT SIZE="4"> -<I>Aarne Ranta</I><BR> -Wed Dec 14 18:13:03 2011 -</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">Fri Sep 28 22:11:33 2012</FONT> +</CENTER> <P></P> <HR NOSHADE SIZE=1> <P></P> + <UL> <LI><A HREF="#toc1">Publications on GF</A> <LI><A HREF="#toc2">Background for GF</A> @@ -22,8 +23,10 @@ Wed Dec 14 18:13:03 2011 <P></P> <HR NOSHADE SIZE=1> <P></P> + <A NAME="toc1"></A> <H2>Publications on GF</H2> + <P> In reverse temporal order: </P> @@ -773,8 +776,10 @@ The type theory and type checker of GF. <br> <I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>. </P> + <A NAME="toc2"></A> <H2>Background for GF</H2> + <P> In alphabetical order: </P> @@ -864,6 +869,6 @@ A. Ranta. <I>Interprets Lambek Calculus in type theory and defines some extensions</I>. </P> -<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) --> +<!-- html code generated by txt2tags 2.6 (http://txt2tags.org) --> <!-- cmdline: txt2tags -thtml ./doc/gf-bibliography.t2t --> </BODY></HTML> |
