Convert some documentation to UTF-8

Using %!encoding:utf-8 in txt2tags files ensures that the generated HTML includes an appropriate charset declaration. This way we avoid relying on browser defaults, which can be wrong.
2012-11-27 16:03:29 +00:00
parent 78216222f1
commit 351661f427
4 changed files with 96 additions and 92 deletions
--- a/doc/gf-bibliography.html
+++ b/doc/gf-bibliography.html
@@ -2,13 +2,14 @@
 <HTML>
 <HEAD>
 <META NAME="generator" CONTENT="http://txt2tags.org">
+<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
 <LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css">
 <meta name = "viewport" content = "width = device-width"><TITLE>Grammatical Framework Bibliography</TITLE>
 </HEAD><BODY BGCOLOR="white" TEXT="black">
 <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>
+<FONT SIZE="4">Tue Nov 27 16:47:06 2012</FONT>
 </CENTER>

 <P></P>
@@ -42,7 +43,7 @@ ACM,
 <I>Using GF to verbalize platform-independent requirement specifications as a part of a software engineering tool chain.</I>
 </P>
 <P>
-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. 
 <I>5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)</I>, 
 volume 68 of EPTCS, pages 55-69, 
-Málaga, Spain, 22-23 September 2011.
+Málaga, Spain, 22-23 September 2011.
 <A HREF="http://dx.doi.org/10.4204/EPTCS.68.6">PDF/DOI</A>
 <br>
 <I>Formal analysis of contracts written in controlled English.</I>
@@ -71,7 +72,7 @@ pp. 70-76.
 <I>Punjabi syntax, building on Humayoun and Ranta 2010.</I>
 </P>
 <P>
-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
 <P>
 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.),
 <I>CADE-23. Automated Deduction</I>,
 LNCS/LNAI 6803,
 pp. 5-25,
@@ -113,7 +114,7 @@ Swedish Language Technology Conference SLTC 2010.
 <I>Tourist Phrasebook grammar, available in 14 European languages.</I>
 </P>
 <P>
-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.
 <A HREF="http://www.grammaticalframework.org/doc/archive/sltc10_submission_24.pdf">PDF</A>
@@ -177,7 +178,7 @@ ACM Digital Library,
 <I>An overview of GF for developers and users of translation systems.</I>
 </P>
 <P>
-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.
 <I>Proceedings of the Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects, LREC-2010 Workshop</I>,
 Malta, pp. 57-61.
@@ -195,7 +196,7 @@ MathNat - Mathematical Text in a Controlled Natural Language.
 <I>Natural language interface to a proof system, implemented in GF.</I>
 </P>
 <P>
-D. Dannélls.
+D. Dannélls.
 Discourse Generation from Formal Specifications Using the Grammatical Framework, GF. 
 <I>Special issue: Natural Language Processing and its Applications.  Journal on Research in Computing Science (RCS)</I>, 
 volume 46. pp. 167-178,
@@ -260,7 +261,7 @@ vol. 448,
 </P>
 <P>
 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.),
 <I>From Semantics to Computer Science</I>,
 Cambridge University Press, Cambridge, 
 pp. 281-308,
@@ -312,9 +313,9 @@ ed. by R. Cooper and R. Kempson, pp. 109-120. London: College Publications,
 <I>The resource grammar idea applied to language learning and evolution.</I>
 </P>
 <P>
-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), 
 <I>Advances in Natural Language Processing (GoTAL 2008)</I>, 
 LNCS/LNAI 5221, Springer,
 2008.
@@ -322,9 +323,9 @@ LNCS/LNAI 5221, Springer,
 <I>Shows how GF compiled to JavaScript is used in dynamic multilingual web pages.</I>
 </P>
 <P>
-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), 
 <I>Advances in Natural Language Processing (GoTAL 2008)</I>, 
 LNCS/LNAI 5221, Springer,
 2008.
@@ -335,7 +336,7 @@ LNCS/LNAI 5221, Springer,
 <P>
 K. Angelov.
 Type-Theoretical Bulgarian Grammar.
-In B. Nordström and A. Ranta (eds), 
+In B. Nordström and A. Ranta (eds), 
 <I>Advances in Natural Language Processing (GoTAL 2008)</I>, 
 LNCS/LNAI 5221, Springer,
 2008.
@@ -355,8 +356,8 @@ Manchester, UK, August 23,
 <P>
 A. Ranta.
 How predictable is Finnish morphology? An experiment on lexicon construction.
-In J. Nivre, M. Dahllöf and B. Megyesi (eds),
-<I>Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein</I>,
+In J. Nivre, M. Dahllöf and B. Megyesi (eds),
+<I>Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein</I>,
 University of Uppsala,
 2008.
 Available from <A HREF="http://publications.uu.se/abstract.xsql?dbid=8933">series homepage</A>
@@ -424,7 +425,7 @@ Dublin, August 2007 (ESSLLI workshop).
 <I>Describes the compilation of GF source code to lower-level run-time formats.</I>
 </P>
 <P>
-M. Humayoun, H. Hammarström, and A. Ranta.
+M. Humayoun, H. Hammarström, and A. Ranta.
 Urdu Morphology, Orthography and Lexicon Extraction.
 <I>CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages</I>,
 July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University.
@@ -464,7 +465,7 @@ Tartu, 24 May 2007 (NODALIDA workshop).
 <I>with comparisons to feature-based unification grammars.</I>
 </P>
 <P>
-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.
 <I>Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics</I>,
-cahier spécial 6,
+cahier spécial 6,
 pp. 115-131,
 2006.
 <br>
@@ -578,7 +579,7 @@ pp. 51-66,
 <I>Natural Language Generation techniques to improve text quality.</I>
 </P>
 <P>
-B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, 
+B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, 
 Multimodal Dialogue System Grammars.
 <I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>,
 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.
 [<A HREF="http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf</A>]
 <br>
 <I>Collection of articles in the GF-KeY project, with an introduction.</I>
 </P>
 <P>
-P. Ljunglöf.
+P. Ljunglöf.
 Expressivity and Complexity of the  Grammatical Framework.
 PhD thesis, Computer Science, 
-Göteborg University, 
+Göteborg University, 
 2004.
 <A HREF="http://www.cse.chalmers.se/~peb/pubs/Ljunglof-2004a.pdf">pdf</A>
 <br>
@@ -630,7 +631,7 @@ Draft available as <A HREF="http://www.cse.chalmers.se/~aarne/articles/3formsem.
 <I>this to type-theoretical grammars for anaphoric expressions.</I>
 </P>
 <P>
-H. Hammarström and A. Ranta.
+H. Hammarström and A. Ranta.
 Cardinal Numerals Revisited in GF.
 <I>Workshop on Numerals in the World's Languages</I>. 
 Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig,
@@ -646,7 +647,7 @@ In A. Beckmann and N. Preining, editors,
 <I>Collegium Logicum</I>, 
 volume V,
 pp. 1-86. 
-Kurt Gödel Society, 
+Kurt Gödel Society, 
 Vienna,
 2004.
 <br>
@@ -691,7 +692,7 @@ pp. 38-41,
 <I>how new grammars are created.</I>
 </P>
 <P>
-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),
 <I>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</I>,
@@ -703,21 +704,21 @@ pp. 233--248,
 <br>
 <I>Describes a GF-based authoring tool for object-oriented</I>
 <I>specifications in OCL and English. Carries out in full</I>
-<I>the work proposed in the position paper (Hähnle &amp; Ranta 2001).</I>
+<I>the work proposed in the position paper (Hähnle &amp; Ranta 2001).</I>
 </P>
 <P>
 K. Johannisson and A.Ranta,
 Formal Verification of Multilingual Instructions.
 <I>Proceedings of the Joint Winter Meeting 2001</I>.
 Departments of Computer Science and Computer Engineering,
-Chalmers University of Technology and Göteborg University.
+Chalmers University of Technology and Göteborg University.
 2001.
 <A HREF="http://www.cse.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>.
 <br>
 <I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I>
 </P>
 <P>
-R. Hähnle and A. Ranta,
+R. Hähnle and A. Ranta,
 Connecting OCL with the Rest of the World.
 <I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>, 
 Genova, 
@@ -730,14 +731,14 @@ Genova,
 </P>
 <P>
 T. Hallgren, "The Correctness of Insertion Sort",
-Manuscript, Chalmers University, Göteborg, 2001.
+Manuscript, Chalmers University, Göteborg, 2001.
 Available in
 <A HREF="http://www.cse.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A>
 <br>
 <I>A seven-page text generated by GF-Alfa</I>.
 </P>
 <P>
-A. Ranta. "Bescherelle bricolé",
+A. Ranta. "Bescherelle bricolé",
 <A HREF="../../GF2.0/doc/BeschBric.ps.gz">ps.gz</A>, 
 2001.
 <br>
@@ -768,7 +769,7 @@ Saarbruecken,
 <I>Relates GF not only with XML but also with definite clause grammars</I>.
 </P>
 <P>
-P. Mäenpää and A. Ranta.
+P. Mäenpää and A. Ranta.
 The type theory and type checker of GF.
 <I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>.
 1999. 
@@ -785,25 +786,25 @@ In alphabetical order:
 </P>
 <P>
 L. Magnusson.
-<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I>
+<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I>
 <I>Monomorphic Type Theory with Explicit Substitutions</I>.
 PhD Thesis, Department of Computing Science,
-Chalmers University of Technology and Göteborg University,
+Chalmers University of Technology and Göteborg University,
 1994.
 <br>
 <I>Back in 1992 the most wonderful program in the world, ALF is</I>
 <I>a model that GF directly follows: GF is Yet ALF.</I>
 </P>
 <P>
-P. Martin-Löf.
+P. Martin-Löf.
 <I>Intuitionistic Type Theory</I>.
 Bibliopolis, Naples, 1984.
 <br>
 <I>A very accessible book (if you have access to it!) on type theory directly from the source.</I>
 </P>
 <P>
-B. Nordström, K. Petersson, and J. Smith.
-<I>Programming in Martin-Löf's Type Theory: an Introduction</I>.
+B. Nordström, K. Petersson, and J. Smith.
+<I>Programming in Martin-Löf's Type Theory: an Introduction</I>.
 Oxford University Press, 1990.
 The book is out of print, but a free version can be picked up from
 <A HREF="http://www.cse.chalmers.se/Cs/Research/Logic/book/">www.cse.chalmers.se/Cs/Research/Logic/book/</A>
@@ -823,7 +824,7 @@ Oxford University Press, Oxford,
 <P>
 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.,
 <I>Types for Proofs and Programs</I>, 
 pp. 162-182,
 Lecture Notes in Computer Science
@@ -853,8 +854,8 @@ Heidelberg,
 </P>
 <P>
 A. Ranta.
-Structures grammaticales dans le français mathématique. 
-<I>Mathématiques, informatique et Sciences Humaines.</I>,
+Structures grammaticales dans le français mathématique. 
+<I>Mathématiques, informatique et Sciences Humaines.</I>,
 vol. 138 pp. 5-56 and 139 pp. 5-36, 
 1997.
 <br>
--- a/doc/gf-bibliography.t2t
+++ b/doc/gf-bibliography.t2t
@@ -11,6 +11,7 @@ Aarne Ranta
 %!options(html): --toc
 %!postproc(html): <TITLE> <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
--- 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.

--- a/doc/gf-people.html
+++ b/doc/gf-people.html
@@ -3,6 +3,7 @@

 <head>
 <title>GF People</title>
+<meta charset="UTF-8">
 <link rel=stylesheet href="../css/style.css">
 <meta name = "viewport" content = "width = device-width">
 </head>
@@ -10,7 +11,7 @@
 <body>

 <center>
-<IMG SRC="Logos/gf0.png">
+<IMG SRC="Logos/gf0.png" alt="[GF]">

 <h1>Grammatical Framework: Authors and Acknowledgements</h1>

@@ -31,12 +32,12 @@ Also the following people have contributed code to some of the versions:

 <dl>

-<dt>Grégoire Détrez (University of Gothenburg)
+<dt>Grégoire Détrez (University of Gothenburg)
 <dt>Ramona Enache (University of Gothenburg)
 <dt>
-<a href="http://www.cse.chalmers.se/alumni/bringert">Björn Bringert</a> (University of Gothenburg)
+<a href="http://www.cse.chalmers.se/alumni/bringert">Björn Bringert</a> (University of Gothenburg)
 <dt>
-Håkan Burden (University of Gothenburg)
+Håkan Burden (University of Gothenburg)
 <dt>
 Hans-Joachim Daniels (Karlsruhe)
 <dt>
@@ -46,9 +47,9 @@ Hans-Joachim Daniels (Karlsruhe)
 <dt>
 <a href="http://www.cs.chalmers.se/~janna">Janna Khegai</a> (Chalmers)
 <dt>
-<a href="http://www.cse.chalmers.se/~peb">Peter Ljunglöf</a> (University of Gothenburg)
+<a href="http://www.cse.chalmers.se/~peb">Peter Ljunglöf</a> (University of Gothenburg)
 <dt>
-Petri Mäenpää (Nokia)
+Petri Mäenpää (Nokia)
 </dl>


@@ -76,11 +77,11 @@ Lauri Carlson (Helsinki),
 href="http://www.xrce.xerox.com/people/dymetman/dymetman.html">Marc
 Dymetman</a> (XRCE),

-Bertrand Grégoire (Tudor Institure, Luxembourg),
+Bertrand Grégoire (Tudor Institure, Luxembourg),

-<a href="http://www.cse.chalmers.se/~reiner">Reiner Hähnle</a> (Chalmers),
+<a href="http://www.cse.chalmers.se/~reiner">Reiner Hähnle</a> (Chalmers),

-<a href="http://pauillac.inria.fr/~huet/">Gérard Huet</a> (INRIA),
+<a href="http://pauillac.inria.fr/~huet/">Gérard Huet</a> (INRIA),

 <a href="http://www.cse.chalmers.se/~patrikj">Patrik Jansson</a> (Chalmers),

@@ -95,9 +96,9 @@ Matti Kinnunen (Nokia),
 href="http://www.xrce.xerox.com/people/lux/">Veronika
 Lux</a> (XRCE),

-Per Martin-Löf (Stockholm),
+Per Martin-Löf (Stockholm),

-<a href="http://www.cse.chalmers.se/~bengt">Bengt Nordström</a> (Chalmers),
+<a href="http://www.cse.chalmers.se/~bengt">Bengt Nordström</a> (Chalmers),

 <a
 href="http://www.cis.uni-muenchen.de/studenten/stud_homepages/okrslar/reklame.html">
@@ -109,7 +110,7 @@ Jianmin Pang (Durham),
 href="http://www.xrce.xerox.com/people/pogodalla/index.fr.html">Sylvain
 Pogodalla</a> (XRCE),

-<a href="http://www.inria.fr/Loic.Pottier">Loïc Pottier</a> (INRIA),
+<a href="http://www.inria.fr/Loic.Pottier">Loïc Pottier</a> (INRIA),


 <a href="http://www2.parc.com/istl/members/zaenen/">Annie Zaenen</a> (PARC)