From 6b7780fb497185cd9a6a9a08f7bba517063c4145 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 9 Dec 2009 17:22:17 +0000 Subject: updated index page - back in old place after all --- deprecated/index.txt | 211 -------------------------------------- deprecated/v3.0-index.html | 249 +++++++++++++++++++++++++++++++++++++++++++++ index.html | 71 ++++--------- index.txt | 191 ++++++++++++++++++++++++++++++++++ 4 files changed, 457 insertions(+), 265 deletions(-) delete mode 100644 deprecated/index.txt create mode 100644 deprecated/v3.0-index.html create mode 100644 index.txt diff --git a/deprecated/index.txt b/deprecated/index.txt deleted file mode 100644 index 6068ffea1..000000000 --- a/deprecated/index.txt +++ /dev/null @@ -1,211 +0,0 @@ - - - -%!postproc(html): "#BECE" "" -%!postproc(html): "#ENCE" "" -%!postproc(html): "#BESMALL" "" -%!postproc(html): "#ENSMALL" "" -%!postproc(html): "#BELARGE" "" -%!postproc(html): "#ENLARGE" "" - -#BECE - -[doc/gf-logo.png] - -=Grammatical Framework= - -Version 3.0 - -June 2008 - - -#BELARGE - -``[`` [Demos demos/index.html] -``|`` [Download download/index.html] -``|`` [Libraries lib/resource/doc/synopsis.html] -``|`` [Reference doc/gf-refman.html] -``|`` [Tutorial doc/gf-tutorial.html] -``]`` - -#ENLARGE - -``[`` [Demos demos/index.html] -``|`` [Download download/index.html] -``|`` [Developers doc/gf-developers.html] -% ``|`` [Events doc/events.html] -``|`` [Libraries lib/resource/doc/synopsis.html] -``|`` [People doc/gf-people.html] -% ``|`` [Projects doc/projects.html] -``|`` [Publications doc/gf-bibliography.html] -``|`` [QuickRefCard doc/gf-reference.html] -``|`` [Reference doc/gf-refman.html] -``|`` [Tutorial doc/gf-tutorial.html] -``]`` - -#ENCE - - -#BESMALL - -==News== - -20 April 2009: -On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the -[Summer School Google Group http://groups.google.com/group/gf-resource-school-2009] -for instructions how to start. - -3 April 2009: -Two demos and one talk on GF at [EACL http://www.eacl2009.gr/conference/] in Athens. - -20 February 2009: -[GF Resource Grammar Summer School doc/gf-summerschool.html] -in Gothenburg, 17-28 August 2009. - -4 November 2008: -GHC 6.10 released, but it doesn't work with GF sources yet. -If compiling GF from source, use e.g. -[GHC 6.8.3 http://haskell.org/ghc/download_ghc_683.html]. - -15 August 2008: -[Numeral translator for the iPhone demos/index-numbers.html] - -27 June 2008: -[release of GF 3.0 doc/gf3-release.html] and this new web page; the old web page is -[here ../GF2/index.html]. - - -#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 lib/resource/doc/resdemo.html] -- [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 -- Java -- JavaScript -- Prolog -- 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/resource/doc/synopsis.html] has -support for an increasing number of languages, currently including -+ Arabic (partial) -+ Bulgarian -+ Catalan (partial) -+ Danish -+ English -+ Finnish -+ French -+ German -+ Hindi/Urdu (fragments) -+ [Interlingua http://www.interlingua.com/] -+ Italian -+ Norwegian bokm�l -+ Russian -+ Spanish -+ Swedish -+ Thai (fragments) - - -Adding a language to the resource library takes 3 to 9 -months - contributions -are welcome! - -% [doc/10lang-small.png] - - diff --git a/deprecated/v3.0-index.html b/deprecated/v3.0-index.html new file mode 100644 index 000000000..ce9e342d5 --- /dev/null +++ b/deprecated/v3.0-index.html @@ -0,0 +1,249 @@ + + + + + + + + +

+ +

Grammatical Framework

+Version 3.1 +

+14 December 2009 +

+ +

+[ Demos +| Download +| Libraries +| Reference +| Tutorial +] +

+ +

+ +

News

+ +24 November 2009: We have problems with the release via Darcs. You can +download a recent snapshot of GF (sources, libraries, documentation) +here (gf-[date].tgz, 13 MB). +

+24 June 2009: GF version 3.0 released. No longer beta! +

+4 June 2009: GF sources (from the darcs repository) can now be compiled with GHC 6.10.3, but no +longer with GHC 6.8. +

+29 April 2009: GF online course available as videos: see "News" under the +GF Summer School Web Page. +

+20 April 2009: +On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the +Summer School Google Group +for instructions how to start. +

+3 April 2009: +Two demos and one talk on GF at EACL in Athens. +

+20 February 2009: +GF Resource Grammar Summer School +in Gothenburg, 17-28 August 2009. +

+4 November 2008: +GHC 6.10 released, but it doesn't work with GF sources yet. +If compiling GF from source, use e.g. +GHC 6.8.3. +

+15 August 2008: +Numeral translator for the iPhone +

+27 June 2008: +release of GF 3.0 and this new web page; the old web page is +here. +

+ +

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 +

+ +

Availability

+GF is open-source, licensed under GPL (the program) and +LGPL (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, +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: + natural language interface to formal proofs +
Efficient: + authoring tool for business models. +
GF-KeY: + authoring and translation of software specifications +
TALK: + multilingual and multimodal spoken dialogue systems +
WebALT: + multilingual generation of mathematical exercises (commercial project) +
SALDO: + Swedish morphological dictionary based on rules developed for GF and + Functional Morphology +

+ +

+Academically, GF has been used in four PhD theses and resulted in around +fifty scientific publications (see GF publication list). +

Programming in GF

+GF is easy to learn by following the tutorial. +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 +
Java +
JavaScript +
Prolog +
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 has +support for an increasing number of languages, currently including +

Arabic (partial) +
Bulgarian +
Catalan (partial) +
Danish +
English +
Finnish +
French +
German +
Hindi/Urdu (fragments) +
Interlingua +
Italian +
Norwegian bokm�l +
Russian +
Spanish +
Swedish +
Thai (fragments) +

+ +

+Adding a language to the resource library takes 3 to 9 +months - contributions +are welcome! +

+ + + + diff --git a/index.html b/index.html index d607b61d7..403f6a59e 100644 --- a/index.html +++ b/index.html @@ -15,10 +15,10 @@

Grammatical Framework

-Version 3.0 +Version 3.1

-24 June 2009 +December 2009

@@ -26,7 +26,7 @@ Version 3.0

@@ -53,47 +54,8 @@ Version 3.0

News

- -24 November 2009: We have problems with the release via Darcs. You can -download a recent snapshot of GF (sources, libraries, documentation) -here (gf-[date].tgz, 13 MB). -

-24 June 2009: GF version 3.0 released. No longer beta! -

-4 June 2009: GF sources (from the darcs repository) can now be compiled with GHC 6.10.3, but no -longer with GHC 6.8. -

-29 April 2009: GF online course available as videos: see "News" under the -GF Summer School Web Page. -

-20 April 2009: -On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the -Summer School Google Group -for instructions how to start. -

-3 April 2009: -Two demos and one talk on GF at EACL in Athens. -

-20 February 2009: -GF Resource Grammar Summer School -in Gothenburg, 17-28 August 2009. -

-4 November 2008: -GHC 6.10 released, but it doesn't work with GF sources yet. -If compiling GF from source, use e.g. -GHC 6.8.3. -

-15 August 2008: -Numeral translator for the iPhone -

-27 June 2008: -release of GF 3.0 and this new web page; the old web page is -here. +GF users mailing list and wiki - link forthcoming here!

@@ -125,14 +87,13 @@ least one, it may help you to get a first idea of what GF is. GF can be used for building

Availability

@@ -195,9 +156,7 @@ in other programming languages. The formats currently supported are:

Haskell -
Java
JavaScript -
Prolog
Speech recognition: HTK/ATK, Nuance, JSGF

@@ -223,8 +182,9 @@ support for an increasing number of languages, currently including

Arabic (partial)
Bulgarian -
Catalan (partial) +
Catalan
Danish +
Dutch
English
Finnish
French @@ -232,7 +192,10 @@ support for an increasing number of languages, currently including
Hindi/Urdu (fragments)
Interlingua
Italian -
Norwegian bokm�l +
Latin (fragments) +
Norwegian bokm�l +
Polish +
Romanian
Russian
Spanish
Swedish @@ -242,9 +205,9 @@ support for an increasing number of languages, currently including
Adding a language to the resource library takes 3 to 9 months - contributions -are welcome! +are welcome! You can start with the resource grammarian's tutorial.
- - + + diff --git a/index.txt b/index.txt new file mode 100644 index 000000000..2c2c373a2 --- /dev/null +++ b/index.txt @@ -0,0 +1,191 @@ + + + +%!postproc(html): "#BECE" "" +%!postproc(html): "#ENCE" "" +%!postproc(html): "#BESMALL" "" +%!postproc(html): "#ENSMALL" "" +%!postproc(html): "#BELARGE" "" +%!postproc(html): "#ENLARGE" "" + +#BECE + +[doc/gf-logo.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 doc/gf-developers.html] +``|`` [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] + + -- cgit v1.2.3