diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index 63cfe2084..4281f9460 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -2,13 +2,14 @@ + Grammatical Framework Bibliography

Grammatical Framework Bibliography

Aarne Ranta
-Fri Sep 28 22:11:33 2012 +Tue Nov 27 16:47:06 2012

@@ -42,7 +43,7 @@ ACM, Using GF to verbalize platform-independent requirement specifications as a part of a software engineering tool chain.

-C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. +C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. Patent translation within the MOLTO project. Proceedings of the 4th Workshop on Patent Translation, MT Summit XIII, Xiamen, China, September 23, 2011. @@ -55,7 +56,7 @@ Seyed M. Montazeri, Nivir Roy, and Gerardo Schneider. From Contracts in Structured English to CL Specifications. 5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11), volume 68 of EPTCS, pages 55-69, -Málaga, Spain, 22-23 September 2011. +Málaga, Spain, 22-23 September 2011. PDF/DOI
Formal analysis of contracts written in controlled English. @@ -71,7 +72,7 @@ pp. 70-76. Punjabi syntax, building on Humayoun and Ranta 2010.

-D. Dannélls, M. Damova, R.Enache, M. Chechev. +D. Dannélls, M. Damova, R.Enache, M. Chechev. A Framework for Improved Access to Museum Databases in the Semantic Web. Proceedings of the Workshop on Language Technologies for Digital Humanities and Cultural Heritage, RANLP-2011, Recent Advances in Natural Language Processing, @@ -84,7 +85,7 @@ pp 8-15

A. Ranta. Translating between Language and Logic: What Is Easy and What is Difficult? -In N. Bjørner and V. Sofronie-Stokkermans (eds.), +In N. Bjørner and V. Sofronie-Stokkermans (eds.), CADE-23. Automated Deduction, LNCS/LNAI 6803, pp. 5-25, @@ -113,7 +114,7 @@ Swedish Language Technology Conference SLTC 2010. Tourist Phrasebook grammar, available in 14 European languages.

-G. Détrez and R. Enache. +G. Détrez and R. Enache. A Framework for Multilingual Applications on the Android Platform Swedish Language Technology Conference SLTC 2010. PDF @@ -177,7 +178,7 @@ ACM Digital Library, An overview of GF for developers and users of translation systems.

-D. Dannélls and J. Camilleri. +D. Dannélls and J. Camilleri. Verb Morphology of Hebrew and Maltese - Towards an Open Source Type Theoretical Resource Grammar in GF. Proceedings of the Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects, LREC-2010 Workshop, Malta, pp. 57-61. @@ -195,7 +196,7 @@ MathNat - Mathematical Text in a Controlled Natural Language. Natural language interface to a proof system, implemented in GF.

-D. Dannélls. +D. Dannélls. Discourse Generation from Formal Specifications Using the Grammatical Framework, GF. Special issue: Natural Language Processing and its Applications. Journal on Research in Computing Science (RCS), volume 46. pp. 167-178, @@ -260,7 +261,7 @@ vol. 448,

A. Ranta. Grammars as Software Libraries. -In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), +In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), From Semantics to Computer Science, Cambridge University Press, Cambridge, pp. 281-308, @@ -312,9 +313,9 @@ ed. by R. Cooper and R. Kempson, pp. 109-120. London: College Publications, The resource grammar idea applied to language learning and evolution.

-Moisés Salvador Meza Moreno and B. Bringert. +Moisés Salvador Meza Moreno and B. Bringert. Interactive Multilingual Web Applications with Grammatical Framework. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), Advances in Natural Language Processing (GoTAL 2008), LNCS/LNAI 5221, Springer, 2008. @@ -322,9 +323,9 @@ LNCS/LNAI 5221, Springer, Shows how GF compiled to JavaScript is used in dynamic multilingual web pages.

-Peter Ljunglöf and Staffan Larsson. +Peter Ljunglöf and Staffan Larsson. A grammar formalism for specifying ISU-based dialogue systems. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), Advances in Natural Language Processing (GoTAL 2008), LNCS/LNAI 5221, Springer, 2008. @@ -335,7 +336,7 @@ LNCS/LNAI 5221, Springer,

K. Angelov. Type-Theoretical Bulgarian Grammar. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), Advances in Natural Language Processing (GoTAL 2008), LNCS/LNAI 5221, Springer, 2008. @@ -355,8 +356,8 @@ Manchester, UK, August 23,

A. Ranta. How predictable is Finnish morphology? An experiment on lexicon construction. -In J. Nivre, M. Dahllöf and B. Megyesi (eds), -Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein, +In J. Nivre, M. Dahllöf and B. Megyesi (eds), +Resourceful Language Technology: Festschrift in Honor of Anna SÃ¥gvall Hein, University of Uppsala, 2008. Available from series homepage @@ -424,7 +425,7 @@ Dublin, August 2007 (ESSLLI workshop). Describes the compilation of GF source code to lower-level run-time formats.

-M. Humayoun, H. Hammarström, and A. Ranta. +M. Humayoun, H. Hammarström, and A. Ranta. Urdu Morphology, Orthography and Lexicon Extraction. CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages, July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University. @@ -464,7 +465,7 @@ Tartu, 24 May 2007 (NODALIDA workshop). with comparisons to feature-based unification grammars.

-O. Caprotti and M. Seppälä. +O. Caprotti and M. Seppälä. Multilingual Delivery of Online Tests in mathematics. Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006. Berlin, Germany. @@ -510,7 +511,7 @@ pp. 488-499, A. Ranta. Type Theory and Universal Grammar. Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics, -cahier spécial 6, +cahier spécial 6, pp. 115-131, 2006.
@@ -578,7 +579,7 @@ pp. 51-66, Natural Language Generation techniques to improve text quality.

-B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, +B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, Multimodal Dialogue System Grammars. Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005, 2005. @@ -591,17 +592,17 @@ Multimodal Dialogue System Grammars. K. Johannisson, Formal and Informal Software Specifications. PhD thesis, -Computer Science, Göteborg University, +Computer Science, Göteborg University, 2005. [http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf]
Collection of articles in the GF-KeY project, with an introduction.

-P. Ljunglöf. +P. Ljunglöf. Expressivity and Complexity of the Grammatical Framework. PhD thesis, Computer Science, -Göteborg University, +Göteborg University, 2004. pdf
@@ -630,7 +631,7 @@ Draft available as ps.gz.
Instructions for an alarm system in four languages, verified in the proof editor Alfa.

-R. Hähnle and A. Ranta, +R. Hähnle and A. Ranta, Connecting OCL with the Rest of the World. ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, @@ -730,14 +731,14 @@ Genova,

T. Hallgren, "The Correctness of Insertion Sort", -Manuscript, Chalmers University, Göteborg, 2001. +Manuscript, Chalmers University, Göteborg, 2001. Available in ps
A seven-page text generated by GF-Alfa.

-A. Ranta. "Bescherelle bricolé", +A. Ranta. "Bescherelle bricolé", ps.gz, 2001.
@@ -768,7 +769,7 @@ Saarbruecken, Relates GF not only with XML but also with definite clause grammars.

-P. Mäenpää and A. Ranta. +P. Mäenpää and A. Ranta. The type theory and type checker of GF. Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999. 1999. @@ -785,25 +786,25 @@ In alphabetical order:

L. Magnusson. -The Implementation of ALF - a Proof Editor based on Martin-Löf's +The Implementation of ALF - a Proof Editor based on Martin-Löf's Monomorphic Type Theory with Explicit Substitutions. PhD Thesis, Department of Computing Science, -Chalmers University of Technology and Göteborg University, +Chalmers University of Technology and Göteborg University, 1994.
Back in 1992 the most wonderful program in the world, ALF is a model that GF directly follows: GF is Yet ALF.

-P. Martin-Löf. +P. Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Naples, 1984.
A very accessible book (if you have access to it!) on type theory directly from the source.

-B. Nordström, K. Petersson, and J. Smith. -Programming in Martin-Löf's Type Theory: an Introduction. +B. Nordström, K. Petersson, and J. Smith. +Programming in Martin-Löf's Type Theory: an Introduction. Oxford University Press, 1990. The book is out of print, but a free version can be picked up from www.cse.chalmers.se/Cs/Research/Logic/book/ @@ -823,7 +824,7 @@ Oxford University Press, Oxford,

A. Ranta. Syntactic categories in the language of mathematics. -In P. Dybjer, B. Nordström, and J. Smith, eds., +In P. Dybjer, B. Nordström, and J. Smith, eds., Types for Proofs and Programs, pp. 162-182, Lecture Notes in Computer Science @@ -853,8 +854,8 @@ Heidelberg,

A. Ranta. -Structures grammaticales dans le français mathématique. -Mathématiques, informatique et Sciences Humaines., +Structures grammaticales dans le français mathématique. +Mathématiques, informatique et Sciences Humaines., vol. 138 pp. 5-56 and 139 pp. 5-36, 1997.
diff --git a/doc/gf-bibliography.t2t b/doc/gf-bibliography.t2t index 33297de41..5bfafec05 100644 --- a/doc/gf-bibliography.t2t +++ b/doc/gf-bibliography.t2t @@ -11,6 +11,7 @@ Aarne Ranta %!options(html): --toc %!postproc(html): <meta name = "viewport" content = "width = device-width"><TITLE> %!postproc(html): #BR <br> +%!encoding:utf-8 %!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a> ==Publications on GF== @@ -27,7 +28,7 @@ ACM, #BR //Using GF to verbalize platform-independent requirement specifications as a part of a software engineering tool chain.// -C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. +C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. Patent translation within the MOLTO project. Proceedings of the 4th Workshop on Patent Translation, MT Summit XIII, Xiamen, China, September 23, 2011. @@ -39,7 +40,7 @@ Seyed M. Montazeri, Nivir Roy, and Gerardo Schneider. From Contracts in Structured English to CL Specifications. //5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)//, volume 68 of EPTCS, pages 55-69, -Málaga, Spain, 22-23 September 2011. +Málaga, Spain, 22-23 September 2011. [PDF/DOI http://dx.doi.org/10.4204/EPTCS.68.6] #BR //Formal analysis of contracts written in controlled English.// @@ -53,7 +54,7 @@ pp. 70-76. #BR //Punjabi syntax, building on Humayoun and Ranta 2010.// -D. Dannélls, M. Damova, R.Enache, M. Chechev. +D. Dannélls, M. Damova, R.Enache, M. Chechev. A Framework for Improved Access to Museum Databases in the Semantic Web. Proceedings of the Workshop on Language Technologies for Digital Humanities and Cultural Heritage, RANLP-2011, Recent Advances in Natural Language Processing, @@ -65,7 +66,7 @@ pp 8-15 A. Ranta. Translating between Language and Logic: What Is Easy and What is Difficult? -In N. Bjørner and V. Sofronie-Stokkermans (eds.), +In N. Bjørner and V. Sofronie-Stokkermans (eds.), //CADE-23. Automated Deduction//, LNCS/LNAI 6803, pp. 5-25, @@ -92,7 +93,7 @@ Swedish Language Technology Conference SLTC 2010. //Tourist Phrasebook grammar, available in 14 European languages.// -G. Détrez and R. Enache. +G. Détrez and R. Enache. A Framework for Multilingual Applications on the Android Platform Swedish Language Technology Conference SLTC 2010. [PDF http://www.grammaticalframework.org/doc/archive/sltc10_submission_24.pdf] @@ -149,7 +150,7 @@ ACM Digital Library, #BR //An overview of GF for developers and users of translation systems.// -D. Dannélls and J. Camilleri. +D. Dannélls and J. Camilleri. Verb Morphology of Hebrew and Maltese - Towards an Open Source Type Theoretical Resource Grammar in GF. //Proceedings of the Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects, LREC-2010 Workshop//, Malta, pp. 57-61. @@ -165,7 +166,7 @@ MathNat - Mathematical Text in a Controlled Natural Language. #BR //Natural language interface to a proof system, implemented in GF.// -D. Dannélls. +D. Dannélls. Discourse Generation from Formal Specifications Using the Grammatical Framework, GF. //Special issue: Natural Language Processing and its Applications. Journal on Research in Computing Science (RCS)//, volume 46. pp. 167-178, @@ -223,7 +224,7 @@ vol. 448, //Makes a case for using GF in controlled language implementation, illustrated by Attempto Controlled English ported to French, German, and Swedish; longer version in 2010.// A. Ranta. Grammars as Software Libraries. -In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), +In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), //From Semantics to Computer Science//, Cambridge University Press, Cambridge, pp. 281-308, @@ -270,18 +271,18 @@ ed. by R. Cooper and R. Kempson, pp. 109-120. London: College Publications, #BR //The resource grammar idea applied to language learning and evolution.// -Moisés Salvador Meza Moreno and B. Bringert. +Moisés Salvador Meza Moreno and B. Bringert. Interactive Multilingual Web Applications with Grammatical Framework. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), //Advances in Natural Language Processing (GoTAL 2008)//, LNCS/LNAI 5221, Springer, 2008. #BR //Shows how GF compiled to JavaScript is used in dynamic multilingual web pages.// -Peter Ljunglöf and Staffan Larsson. +Peter Ljunglöf and Staffan Larsson. A grammar formalism for specifying ISU-based dialogue systems. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), //Advances in Natural Language Processing (GoTAL 2008)//, LNCS/LNAI 5221, Springer, 2008. @@ -291,7 +292,7 @@ LNCS/LNAI 5221, Springer, K. Angelov. Type-Theoretical Bulgarian Grammar. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), //Advances in Natural Language Processing (GoTAL 2008)//, LNCS/LNAI 5221, Springer, 2008. @@ -309,8 +310,8 @@ Manchester, UK, August 23, A. Ranta. How predictable is Finnish morphology? An experiment on lexicon construction. -In J. Nivre, M. Dahllöf and B. Megyesi (eds), -//Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein//, +In J. Nivre, M. Dahllöf and B. Megyesi (eds), +//Resourceful Language Technology: Festschrift in Honor of Anna SÃ¥gvall Hein//, University of Uppsala, 2008. Available from [series homepage http://publications.uu.se/abstract.xsql?dbid=8933] @@ -371,7 +372,7 @@ Dublin, August 2007 (ESSLLI workshop). #BR //Describes the compilation of GF source code to lower-level run-time formats.// -M. Humayoun, H. Hammarström, and A. Ranta. +M. Humayoun, H. Hammarström, and A. Ranta. Urdu Morphology, Orthography and Lexicon Extraction. //CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages//, July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University. @@ -409,7 +410,7 @@ Tartu, 24 May 2007 (NODALIDA workshop). //with comparisons to feature-based unification grammars.// -O. Caprotti and M. Seppälä. +O. Caprotti and M. Seppälä. Multilingual Delivery of Online Tests in mathematics. Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006. Berlin, Germany. @@ -451,7 +452,7 @@ pp. 488-499, A. Ranta. Type Theory and Universal Grammar. //Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics//, -cahier spécial 6, +cahier spécial 6, pp. 115-131, 2006. #BR @@ -515,7 +516,7 @@ pp. 51-66, //Natural Language Generation techniques to improve text quality.// -B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, +B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, Multimodal Dialogue System Grammars. //Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005//, 2005. @@ -529,16 +530,16 @@ Multimodal Dialogue System Grammars. K. Johannisson, Formal and Informal Software Specifications. PhD thesis, -Computer Science, Göteborg University, +Computer Science, Göteborg University, 2005. [http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf] #BR //Collection of articles in the GF-KeY project, with an introduction.// -P. Ljunglöf. +P. Ljunglöf. Expressivity and Complexity of the Grammatical Framework. PhD thesis, Computer Science, -Göteborg University, +Göteborg University, 2004. [pdf http://www.cse.chalmers.se/~peb/pubs/Ljunglof-2004a.pdf] #BR @@ -565,7 +566,7 @@ Draft available as [pdf http://www.cse.chalmers.se/~aarne/articles/3formsem.pdf] // Shows how Montague-style grammars are implemented in GF and extends// //this to type-theoretical grammars for anaphoric expressions.// -H. Hammarström and A. Ranta. +H. Hammarström and A. Ranta. Cardinal Numerals Revisited in GF. //Workshop on Numerals in the World's Languages//. Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, @@ -581,7 +582,7 @@ In A. Beckmann and N. Preining, editors, //Collegium Logicum//, volume V, pp. 1-86. -Kurt Gödel Society, +Kurt Gödel Society, Vienna, 2004. #BR @@ -626,7 +627,7 @@ pp. 38-41, //how new grammars are created.// -R. Hähnle, K. Johannisson, and A. Ranta. +R. Hähnle, K. Johannisson, and A. Ranta. An Authoring Tool for Informal and Formal Requirements Specifications. In R. D. Kutsche and H. Weber (eds), //ETAPS/FASE-2002: Fundamental Approaches to Software Engineering//, @@ -638,7 +639,7 @@ pp. 233--248, #BR //Describes a GF-based authoring tool for object-oriented// //specifications in OCL and English. Carries out in full// -//the work proposed in the position paper (Hähnle & Ranta 2001).// +//the work proposed in the position paper (Hähnle & Ranta 2001).// @@ -646,14 +647,14 @@ K. Johannisson and A.Ranta, Formal Verification of Multilingual Instructions. //Proceedings of the Joint Winter Meeting 2001//. Departments of Computer Science and Computer Engineering, -Chalmers University of Technology and Göteborg University. +Chalmers University of Technology and Göteborg University. 2001. [ps.gz http://www.cse.chalmers.se/~aarne/articles/aarne+krijo.ps.gz]. #BR //Instructions for an alarm system in four languages, verified in the proof editor Alfa.// -R. Hähnle and A. Ranta, +R. Hähnle and A. Ranta, Connecting OCL with the Rest of the World. //ETAPS 2001 Workshop on Transformations in UML (WTUML)//, Genova, @@ -667,14 +668,14 @@ Genova, T. Hallgren, "The Correctness of Insertion Sort", -Manuscript, Chalmers University, Göteborg, 2001. +Manuscript, Chalmers University, Göteborg, 2001. Available in [ps http://www.cse.chalmers.se/~hallgren/Papers/insertion_sort.ps] #BR //A seven-page text generated by GF-Alfa//. -A. Ranta. "Bescherelle bricolé", +A. Ranta. "Bescherelle bricolé", [ps.gz ../../GF2.0/doc/BeschBric.ps.gz], 2001. #BR @@ -706,7 +707,7 @@ Saarbruecken, -P. Mäenpää and A. Ranta. +P. Mäenpää and A. Ranta. The type theory and type checker of GF. //Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999//. 1999. @@ -728,10 +729,10 @@ In alphabetical order: L. Magnusson. -//The Implementation of ALF - a Proof Editor based on Martin-Löf's// +//The Implementation of ALF - a Proof Editor based on Martin-Löf's// //Monomorphic Type Theory with Explicit Substitutions//. PhD Thesis, Department of Computing Science, -Chalmers University of Technology and Göteborg University, +Chalmers University of Technology and Göteborg University, 1994. #BR //Back in 1992 the most wonderful program in the world, ALF is// @@ -739,7 +740,7 @@ Chalmers University of Technology and G -P. Martin-Löf. +P. Martin-Löf. //Intuitionistic Type Theory//. Bibliopolis, Naples, 1984. #BR @@ -747,8 +748,8 @@ Bibliopolis, Naples, 1984. -B. Nordström, K. Petersson, and J. Smith. -//Programming in Martin-Löf's Type Theory: an Introduction//. +B. Nordström, K. Petersson, and J. Smith. +//Programming in Martin-Löf's Type Theory: an Introduction//. Oxford University Press, 1990. The book is out of print, but a free version can be picked up from [www.cse.chalmers.se/Cs/Research/Logic/book/ http://www.cse.chalmers.se/Cs/Research/Logic/book/] @@ -768,7 +769,7 @@ Oxford University Press, Oxford, A. Ranta. Syntactic categories in the language of mathematics. -In P. Dybjer, B. Nordström, and J. Smith, eds., +In P. Dybjer, B. Nordström, and J. Smith, eds., //Types for Proofs and Programs//, pp. 162-182, Lecture Notes in Computer Science @@ -797,8 +798,8 @@ Heidelberg, A. Ranta. -Structures grammaticales dans le français mathématique. -//Mathématiques, informatique et Sciences Humaines.//, +Structures grammaticales dans le français mathématique. +//Mathématiques, informatique et Sciences Humaines.//, vol. 138 pp. 5-56 and 139 pp. 5-36, 1997. #BR diff --git a/doc/gf-editor-modes.t2t b/doc/gf-editor-modes.t2t index e1201ee12..faea09157 100644 --- a/doc/gf-editor-modes.t2t +++ b/doc/gf-editor-modes.t2t @@ -4,6 +4,7 @@ Editor modes & IDE integration for GF %!style:../css/style.css %!options(html): --toc %!postproc(html): <TITLE> <meta name = "viewport" content = "width = device-width"><TITLE> +%!encoding:utf-8 %!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a> We collect GF modes for various editors on this page. Contributions are @@ -12,7 +13,7 @@ welcome! ==Emacs== -[gf.el ../src/tools/gf.el] by Johan Bockgård provides syntax highlighting and +[gf.el ../src/tools/gf.el] by Johan BockgÃ¥rd provides syntax highlighting and automatic indentation and lets you run the GF Shell in an emacs buffer. See installation instructions inside. diff --git a/doc/gf-people.html b/doc/gf-people.html index 404fc75b0..37e430ae7 100644 --- a/doc/gf-people.html +++ b/doc/gf-people.html @@ -3,6 +3,7 @@ <head> <title>GF People + @@ -10,7 +11,7 @@

- +[GF]

Grammatical Framework: Authors and Acknowledgements

@@ -31,12 +32,12 @@ Also the following people have contributed code to some of the versions:
-
Grégoire Détrez (University of Gothenburg) +
Grégoire Détrez (University of Gothenburg)
Ramona Enache (University of Gothenburg)
-Björn Bringert (University of Gothenburg) +Björn Bringert (University of Gothenburg)
-Håkan Burden (University of Gothenburg) +HÃ¥kan Burden (University of Gothenburg)
Hans-Joachim Daniels (Karlsruhe)
@@ -46,9 +47,9 @@ Hans-Joachim Daniels (Karlsruhe)
Janna Khegai (Chalmers)
-Peter Ljunglöf (University of Gothenburg) +Peter Ljunglöf (University of Gothenburg)
-Petri Mäenpää (Nokia) +Petri Mäenpää (Nokia)
@@ -76,11 +77,11 @@ Lauri Carlson (Helsinki), href="http://www.xrce.xerox.com/people/dymetman/dymetman.html">Marc Dymetman (XRCE), -Bertrand Grégoire (Tudor Institure, Luxembourg), +Bertrand Grégoire (Tudor Institure, Luxembourg), -Reiner Hähnle (Chalmers), +Reiner Hähnle (Chalmers), -Gérard Huet (INRIA), +Gérard Huet (INRIA), Patrik Jansson (Chalmers), @@ -95,9 +96,9 @@ Matti Kinnunen (Nokia), href="http://www.xrce.xerox.com/people/lux/">Veronika Lux (XRCE), -Per Martin-Löf (Stockholm), +Per Martin-Löf (Stockholm), -Bengt Nordström (Chalmers), +Bengt Nordström (Chalmers), @@ -109,7 +110,7 @@ Jianmin Pang (Durham), href="http://www.xrce.xerox.com/people/pogodalla/index.fr.html">Sylvain Pogodalla (XRCE), -Loïc Pottier (INRIA), +Loïc Pottier (INRIA), Annie Zaenen (PARC)