summaryrefslogtreecommitdiff
path: root/doc/gf-bibliography.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/gf-bibliography.html')
-rw-r--r--doc/gf-bibliography.html21
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>