From 64daed40df53531ff9369a6b437b17b0064a4efe Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 3 Oct 2011 15:42:12 +0000 Subject: [PATCH] gf-bibliography.html with Thomas' corrected links --- doc/gf-bibliography.html | 18 ++++++++++-------- 1 file 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 @@ - + + Grammatical Framework Bibliography -

Grammatical Framework Bibliography

- -Aarne Ranta
-Tue Dec 15 15:38:41 2009 -
+
+

Grammatical Framework Bibliography

+Aarne Ranta
+Mon Oct 3 17:42:07 2011 +
+

Publications on GF

@@ -742,6 +744,6 @@ A. Ranta. Interprets Lambek Calculus in type theory and defines some extensions.

- - + +