diff --git a/Makefile b/Makefile index 729f7949a..3275b2306 100644 --- a/Makefile +++ b/Makefile @@ -25,3 +25,5 @@ gf: runghc Setup.hs build rgl-none strip dist/build/gf/gf +html:: + bash bin/update_html \ No newline at end of file diff --git a/bin/update_html b/bin/update_html new file mode 100644 index 000000000..75f54b13e --- /dev/null +++ b/bin/update_html @@ -0,0 +1,11 @@ +#!/bin/bash + +### This script finds all .t2t (txt2tags) files and updates the corresponding +### .html file, if it is out-of-date. + +find . -name '*.t2t' | while read t2t ; do + html="${t2t%.t2t}.html" + if [ "$t2t" -nt "$html" ] ; then + txt2tags -thtml "$t2t" + fi +done \ No newline at end of file diff --git a/css/style.css b/css/style.css index 122538ede..7b4c4d42f 100644 --- a/css/style.css +++ b/css/style.css @@ -1,7 +1,9 @@ body { background-color: #f2f2f2; } + h1,h2,h3 { font-family: sans-serif; } +h1 { text-align: center; } h2 { border-bottom: 2px solid black; clear: right; } div.center { text-align: center; } diff --git a/demos/index-numbers.txt b/demos/index-numbers.t2t similarity index 100% rename from demos/index-numbers.txt rename to demos/index-numbers.t2t diff --git a/demos/index.html b/demos/index.html index 31df02d7a..63647693a 100644 --- a/demos/index.html +++ b/demos/index.html @@ -2,9 +2,11 @@ Grammatical Framework Demos - -

Grammatical Framework Demos

-
+ + + + +

Grammatical Framework Demos

Tourist @@ -67,6 +69,3 @@ the GF resource library Random library examples --> - - - diff --git a/doc/Makefile b/doc/Makefile index d498375b3..8d190f5dd 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -21,14 +21,3 @@ Logos/gf00.png: Logos/gf00.svg Makefile Logos/gf0.png: Logos/gf0.svg Makefile convert -background 'rgba(255,255,255,0)' -size 320x240 -depth 8 $< $@ - -### Updating automatically generated HTML files - -GENERATED_HTML=gf-developers.html - -%.html: %.txt - txt2tags $< - -generated_html:: $(GENERATED_HTML) - -gf-developers.html: gf-developers.txt diff --git a/doc/gf-bibliography.txt b/doc/gf-bibliography.t2t similarity index 100% rename from doc/gf-bibliography.txt rename to doc/gf-bibliography.t2t diff --git a/doc/gf-developers.txt b/doc/gf-developers.t2t similarity index 100% rename from doc/gf-developers.txt rename to doc/gf-developers.t2t diff --git a/doc/gf-people.html b/doc/gf-people.html index bc09412d0..e255f109b 100644 --- a/doc/gf-people.html +++ b/doc/gf-people.html @@ -2,9 +2,10 @@ GF People + - +

@@ -15,9 +16,9 @@ The current developers and maintainers are Krasimir Angelov, -Thomas Hallgren, +Thomas Hallgren, and -Aarne Ranta. Bug reports should be +Aarne Ranta. Bug reports should be posted via the GF bug tracker. @@ -26,29 +27,28 @@ posted via the Also the following people have contributed code to some of the versions: -

+

-Grégoire Détrez (University of Gothenburg) -
-Ramona Enache (University of Gothenburg) -
+
Grégoire Détrez (University of Gothenburg) +
Ramona Enache (University of Gothenburg) +
Björn Bringert (University of Gothenburg) -
+
Håkan Burden (University of Gothenburg) -
+
Hans-Joachim Daniels (Karlsruhe) -
+
Markus Forsberg (Chalmers) -
+
Kristofer Johannisson (University of Gothenburg) -
+
Janna Khegai (Chalmers) -
+
Peter Ljunglöf (University of Gothenburg) -
+
Petri Mäenpää (Nokia) +
-

At least the following colleagues are thanked for suggestions, bug reports, and other indirect contributions to the code. (Notice: diff --git a/doc/gf-reference.html b/doc/gf-reference.html index c5c108760..78d08bcac 100644 --- a/doc/gf-reference.html +++ b/doc/gf-reference.html @@ -2,12 +2,13 @@ + GF Quick Reference

GF Quick Reference

Aarne Ranta
-Tue Apr 4 09:41:30 2006 +April 4, 2006

@@ -572,6 +573,6 @@ A. Ranta, Grammatical Framework: A Type-Theoretical Grammar Formalism. The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189.

- - + + diff --git a/doc/gf-reference.txt b/doc/gf-reference.t2t similarity index 99% rename from doc/gf-reference.txt rename to doc/gf-reference.t2t index d0c11ec34..8c9edd04b 100644 --- a/doc/gf-reference.txt +++ b/doc/gf-reference.t2t @@ -1,13 +1,14 @@ GF Quick Reference Aarne Ranta -%%date(%c) +April 4, 2006 % NOTE: this is a txt2tags file. % Create an html file from this file using: % txt2tags -thtml --toc gf-reference.html +%!style:../css/style.css %!target:html - +%!options: --toc This is a quick reference on GF grammars. It aims to cover all forms of expression available when writing diff --git a/doc/tutorial/gf-tutorial.txt b/doc/tutorial/gf-tutorial.t2t similarity index 100% rename from doc/tutorial/gf-tutorial.txt rename to doc/tutorial/gf-tutorial.t2t diff --git a/index.html b/index.html index d88e3b6df..8f56c0406 100644 --- a/index.html +++ b/index.html @@ -2,11 +2,7 @@ GF - Grammatical Framework - + diff --git a/index.txt b/index.txt deleted file mode 100644 index 423a02716..000000000 --- a/index.txt +++ /dev/null @@ -1,191 +0,0 @@ - - - -%!postproc(html): "#BECE" "
" -%!postproc(html): "#ENCE" "
" -%!postproc(html): "#BESMALL" "" -%!postproc(html): "#ENSMALL" "" -%!postproc(html): "#BELARGE" "" -%!postproc(html): "#ENLARGE" "" - -#BECE - -[doc/Logos/gf0.png] - -=Grammatical Framework= - -Version 3.1 - -December 2009 - - -#BELARGE - -``[`` [Demos demos/index.html] -``|`` [Download download/index.html] -``|`` [Libraries lib/doc/synopsis.html] -``|`` [Reference doc/gf-refman.html] -``|`` [Tutorial doc/gf-tutorial.html] -``]`` - -#ENLARGE - -``[`` [Demos demos/index.html] -``|`` [Download download/index.html] -``|`` [Developers http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6] -``|`` [Libraries lib/doc/synopsis.html] -``|`` [People doc/gf-people.html] -``|`` [Publications doc/gf-bibliography.html] -``|`` [QuickRefCard doc/gf-reference.html] -``|`` [Reference doc/gf-refman.html] -``|`` [Tutorial doc/gf-tutorial.html] -``|`` [LibTutorial doc/resource-tutorial.pdf] -``]`` - -#ENCE - - -#BESMALL - -==News== - -GF users mailing list and wiki - link forthcoming here! - - -#ENSMALL - - -==What is GF== - -GF, Grammatical Framework, is a programming language for -**multilingual grammar applications**. It is -- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC, - but not restricted to programming languages -- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML, - but specialized to grammar writing -- a **natural language processing framework**, like LKB, XLE, Regulus, - but based on functional programming and type theory -- a **categorial grammar formalism**, like ACG, CCG, - but different and equipped with different tools -- a **logical framework**, like Agda, Coq, Isabelle, - but equipped with concrete syntax in addition to logic - - -Don't worry if you don't know most of the references above - but if you do know at -least one, it may help you to get a first idea of what GF is. - - -==Applications== - -GF can be used for building -- [text translators http://tournesol.cs.chalmers.se:41296] -- [multilingual web gadgets http://tournesol.cs.chalmers.se:41296/fridge] -- [speech translators http://www.cs.chalmers.se/~bringert/gf/translatespeech.html] -- [natural-language interfaces http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html] -% - [multilingual web pages http://www.restauranggajden.se/tomas/] -- [multilingual authoring systems http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html] -- [dialogue systems http://www.cs.chalmers.se/~bringert/xv/pizza/] -% - [language training systems http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi] -- [natural language resources lib/resource/doc/synopsis.html] - - -==Availability== - -GF is **open-source**, licensed under [GPL LICENSE] (the program) and -[LGPL lib/LICENSE] (the libraries). It -is available for -- Linux -- Mac OS X -- Windows -- via compilation to JavaScript, almost any platform that has a web browser - - -==Projects== - -GF was first created in 1998 at -[Xerox Research Centre Europe http://www.xrce.xerox.com/], -Grenoble, in the project -Multilingual Document Authoring. At Xerox, it was used for prototypes including -a restaurant phrase book, -a database query system, -a formalization of an alarm system instructions with translations to 5 languages, and -an authoring system for medical drug descriptions. - -Later projects using GF and involving third parties include, in chronological order, -- [GF-Alfa http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html]: - natural language interface to formal proofs -- [Efficient http://efficient.citi.tudor.lu/index_noframe.html]: - authoring tool for business models. -- [GF-KeY http://www.key-project.org/]: - authoring and translation of software specifications -- [TALK http://www.talk-project.org]: - multilingual and multimodal spoken dialogue systems -- [WebALT http://webalt.math.helsinki.fi/]: - multilingual generation of mathematical exercises (commercial project) -- [SALDO http://spraakbanken.gu.se/sal/]: - Swedish morphological dictionary based on rules developed for GF and - [Functional Morphology http://www.cs.chalmers.se/~markus/FM/] - - -Academically, GF has been used in four PhD theses and resulted in around -fifty scientific publications (see [GF publication list doc/gf-bibliography.html]). - - -==Programming in GF== - -GF is easy to learn by following the [tutorial doc/gf-tutorial.html]. -You can write your first translator in 15 minutes. - -GF has an interactive command interpreter, as well as a batch compiler. -Grammars can be compiled to parser and translator code in many different -formats. These components can then be embedded in applications written -in other programming languages. The formats currently supported are: -- Haskell -- JavaScript -- Speech recognition: HTK/ATK, Nuance, JSGF - - -The GF programming language is high-level and advanced, featuring -- static type checking -- higher-order functions -- dependent types -- pattern matching with data constructors and regular expressions -- module system with multiple inheritance and parametrized modules - - -==Libraries== - -Libraries are at the heart of modern software engineering. In natural language -applications, libraries are a way to cope with thousands of details involved in -syntax, lexicon, and inflection. The -[GF resource grammar library lib/doc/synopsis.html] has -support for an increasing number of languages, currently including -+ Arabic (partial) -+ Bulgarian -+ Catalan -+ Danish -+ Dutch -+ English -+ Finnish -+ French -+ German -+ Hindi/Urdu (fragments) -+ [Interlingua http://www.interlingua.com/] -+ Italian -+ Latin (fragments) -+ Norwegian bokmål -+ Polish -+ Romanian -+ Russian -+ Spanish -+ Swedish -+ Thai (fragments) - - -Adding a language to the resource library takes 3 to 9 -months - contributions -are welcome! You can start with the [resource grammarian's tutorial doc/resource-tutorial.pdf]. - -% [doc/10lang-small.png] - -