msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

gf-bibliography.html with Thomas' corrected links

Browse Source
This commit is contained in:
aarne
2011-10-03 15:42:12 +00:00
parent 44ecbd11bc
commit 4af079006b
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
doc/gf-bibliography.html
View File

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