summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--bin/_template.html17
-rw-r--r--index.html139
2 files changed, 85 insertions, 71 deletions
diff --git a/bin/_template.html b/bin/_template.html
index a51f92378..2853fb394 100644
--- a/bin/_template.html
+++ b/bin/_template.html
@@ -48,7 +48,7 @@ $endfor$
$if(title)$
<header id="title-block-header">
- <img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3" alt="GF Logo">
+ <img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3 bg-white" alt="GF Logo">
<h1 class="title">$title$</h1>
$if(subtitle)$
<p class="subtitle">$subtitle$</p>
@@ -86,18 +86,19 @@ $body$
<div class="col-3">
<h6 class="text-muted">Documentation</h6>
<ul class="list-unstyled">
- <li><a href="$rel-root$/doc/gf-shell-reference.html">GF Shell Reference</a>
- <li><a href="$rel-root$/lib/doc/synopsis.html">RGL Library Synopsis</a>
- <li><a href="$rel-root$/gf-book">The GF Book</a>
- <li><a href="$rel-root$/doc/gf-refman.html">Reference Manual</a>
+ <li><a href="$rel-root$/doc/gf-shell-reference.html">GF Shell Reference</a></li>
+ <li><a href="$rel-root$/lib/doc/synopsis.html">RGL Library Synopsis</a></li>
+ <li><a href="$rel-root$/gf-book">The GF Book</a></li>
+ <li><a href="$rel-root$/doc/gf-refman.html">Reference Manual</a></li>
+ <li><a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a></li>
</ul>
</div>
<div class="col-3">
<h6 class="text-muted">Reference</h6>
<ul class="list-unstyled">
- <li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a>
- <li><a href="$rel-root$/doc/runtime-api.html">PGF library API (C runtime)</a>
- <li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a>
+ <li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a></li>
+ <li><a href="$rel-root$/doc/runtime-api.html">PGF library API (C runtime)</a></li>
+ <li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
</ul>
</div>
<div class="col-3">
diff --git a/index.html b/index.html
index 45ab1debe..fe45c85cb 100644
--- a/index.html
+++ b/index.html
@@ -27,8 +27,8 @@
<div class="col-sm-3">
<h2>Use</h2>
<ul>
- <li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a>
- <li><a href="demos/index.html">Other Demos</a>
+ <li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a></li>
+ <li><a href="demos/index.html">Other Demos</a></li>
</ul>
<a href="download/index.html" class="btn btn-primary mb-3 ">
<i class="fas fa-download mr-1"></i>
@@ -37,9 +37,9 @@
<h4>Community</h4>
<ul>
- <li><a href="http://groups.google.com/group/gf-dev">User Group</a>
- <li><a href="https://github.com/GrammaticalFramework/gf-core/issues">Bug Reports</a>
- (<a href="http://code.google.com/p/grammatical-framework/issues/list">old</a>)
+ <li><a href="http://groups.google.com/group/gf-dev">User Group</a></li>
+ <li><a href="https://github.com/GrammaticalFramework/gf-core/issues">Issue Tracker</a></li>
+ <li><a href="http://school.grammaticalframework.org/2018/">Summer School</a></li>
</ul>
</div>
@@ -47,42 +47,42 @@
<h2>Learn</h2>
<ul>
- <li><a href="doc/gf-shell-reference.html">GF Shell Reference</a>
- <li><a href="lib/doc/synopsis.html">RGL Library Synopsis</a>
- <li><a href="gf-book">The GF Book</a>
- <li><a href="doc/tutorial/gf-tutorial.html">GF Tutorial</a>
- <li><a href="doc/gf-refman.html">Reference Manual</a>
- <li><a href="doc/gf-quickstart.html">QuickStart</a>
- <li><a href="doc/gf-reference.html">QuickRefCard</a>
+ <li><a href="doc/gf-shell-reference.html">Shell Reference</a></li>
+ <li><a href="lib/doc/synopsis.html">RGL Library Synopsis</a></li>
+ <li><a href="gf-book">The GF Book</a></li>
+ <li><a href="doc/tutorial/gf-tutorial.html">Tutorial</a></li>
+ <li><a href="doc/gf-refman.html">Reference Manual</a></li>
+ <li><a href="doc/gf-quickstart.html">Quick Start</a></li>
+ <li><a href="doc/gf-reference.html">Quick Reference</a></li>
</ul>
<h4>Other resources</h4>
<ul>
- <li><a href="https://www.youtube.com/watch?v=x1LFbDQhbso">Google Tech Talk</a>
- <li><a href="http://www.molto-project.eu/sites/default/files/MOLTO_D2.3.pdf">Best Practices</a> <small>[PDF]</small>
- <li><a href="doc/gf-lrec-2010.pdf">Library Tutorial</a> <small>[PDF]</small>
+ <li><a href="https://www.youtube.com/watch?v=x1LFbDQhbso">Google Tech Talk</a></li>
+ <li><a href="http://www.molto-project.eu/sites/default/files/MOLTO_D2.3.pdf">Best Practices</a> <small>[PDF]</small></li>
+ <li><a href="doc/gf-lrec-2010.pdf">Library Tutorial</a> <small>[PDF]</small></li>
</ul>
</div>
<div class="col-sm-4">
<h2>Develop</h2>
<h4>GF</h4>
<ul>
- <li><a href="doc/gf-developers.html">GF Developers Guide</a>
+ <li><a href="doc/gf-developers.html">Developers Guide</a></li>
<li><a href="https://github.com/GrammaticalFramework/">
GF on GitHub
<i class="fab fa-github"></i>
- </a>
- <!-- <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> -->
- <li><a href="doc/gf-people.html">Authors</a>
+ </a></li>
+ <!-- <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a></li> -->
+ <li><a href="doc/gf-people.html">Authors</a></li>
</ul>
<h4>Applications</h4>
<ul>
- <li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a>
- <li><a href="doc/runtime-api.html">PGF library API (C runtime)</a>
- <li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a>
- <!-- <li><a href="src/ui/android/README">GF on Android (new)</a>
- <li><a href="/android/">GF on Android (old) </a> -->
- <li><a href="doc/gf-editor-modes.html">GF Editor Modes</a>
+ <li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a></li>
+ <li><a href="doc/runtime-api.html">PGF library API (C runtime)</a></li>
+ <li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
+ <!-- <li><a href="src/ui/android/README">GF on Android (new)</a></li>
+ <li><a href="/android/">GF on Android (old) </a></li> -->
+ <li><a href="doc/gf-editor-modes.html">Text Editor Support</a></li>
</ul>
</div>
</div>
@@ -90,13 +90,13 @@
<!-- <div class=links>
<h4>Related to GF</h4>
<ul>
- <li><a href="http://school.grammaticalframework.org/"><strong>GF Summer School</strong></a>
- <li><a href="http://www.postcrashgames.com/gf_world/">Coverage Map</a>
- <li><a href="doc/gf-bibliography.html">Publications</a>
- <li><a href="http://remu.grammaticalframework.org/">The REMU Project</a>
- <li><a href="http://www.molto-project.eu">The MOLTO Project</a>
- <li><a href="http://en.wikipedia.org/wiki/Grammatical_Framework">GF on Wikipedia</a>
- <li><p><a href="Http://www.digitalgrammars.com/">Digital Grammars AB</a>
+ <li><a href="http://school.grammaticalframework.org/"><strong>GF Summer School</strong></a></li>
+ <li><a href="http://www.postcrashgames.com/gf_world/">Coverage Map</a></li>
+ <li><a href="doc/gf-bibliography.html">Publications</a></li>
+ <li><a href="http://remu.grammaticalframework.org/">The REMU Project</a></li>
+ <li><a href="http://www.molto-project.eu">The MOLTO Project</a></li>
+ <li><a href="http://en.wikipedia.org/wiki/Grammatical_Framework">GF on Wikipedia</a></li>
+ <li><p><a href="Http://www.digitalgrammars.com/">Digital Grammars AB</a></li>
</ul>
</div> -->
@@ -112,6 +112,7 @@ GF, Grammatical Framework, is a programming language for
<a href="http://www.haskell.org/happy/">Happy</a>,
<a href="http://bnfc.digitalgrammars.com/">BNFC</a>,
but not restricted to programming languages
+</li>
<li>a <strong>functional programming language</strong>, like
<a href="http://www.haskell.org/">Haskell</a>,
<a href="http://en.wikipedia.org/wiki/Lisp_(programming_language)">Lisp</a>,
@@ -119,25 +120,30 @@ GF, Grammatical Framework, is a programming language for
<a href="http://www.smlnj.org/">SML</a>,
<a href="http://schemers.org/">Scheme</a>,
but specialized to grammar writing
+</li>
<li>a <strong>development platform for natural language grammars</strong>, like
<a href="http://moin.delph-in.net/LkbTop">LKB</a>,
<a href="http://www2.parc.com/isl/groups/nltt/xle/">XLE</a>,
<a href="http://www.issco.unige.ch/en/research/projects/regulus/news.shtml">Regulus</a>,
but based on functional programming and type theory
+</li>
<li>a <strong>categorial grammar formalism</strong>, like
<a href="http://www.loria.fr/equipes/calligramme/acg/">ACG</a>,
<a href="http://openccg.sourceforge.net/">CCG</a>,
but specialized for multilingual grammars,
+</li>
<li>a <strong>logical framework</strong>, like
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>,
<a href="http://coq.inria.fr/">Coq</a>,
<a href="http://www.cl.cam.ac.uk/research/hvg/Isabelle/">Isabelle</a>,
but equipped with concrete syntax in addition to logic
+</li>
<li>a <strong>platform for machine translation</strong>, like
<a href="http://www.statmt.org/moses/">Moses</a>,
<a href="http://www.apertium.org/">Apertium</a>,
but based on deep structural analysis (and usually applied for
limited fragments of language).
+</li>
</ul>
<p>
@@ -166,11 +172,11 @@ least one, it may help you to get a first idea of what GF is.
is available for
</p>
<ul>
- <li>Linux
- <li>Mac OS X
- <li>Windows
- <li>Android mobile platform (via Java; runtime)
- <li>via compilation to JavaScript, almost any platform that has a web browser (runtime)
+ <li>Linux</li>
+ <li>macOS</li>
+ <li>Windows</li>
+ <li>Android mobile platform (via Java; runtime)</li>
+ <li>via compilation to JavaScript, almost any platform that has a web browser (runtime)</li>
</ul>
<h2>Programming in GF</h2>
@@ -185,21 +191,21 @@ least one, it may help you to get a first idea of what GF is.
in other programming languages. The formats currently supported are:
</p>
<ul>
- <li>Haskell
- <li>Java, in particular the Android platform
- <li>JavaScript
- <li>Speech recognition: HTK/ATK, Nuance, JSGF
+ <li>Haskell</li>
+ <li>Java, in particular the Android platform</li>
+ <li>JavaScript</li>
+ <li>Speech recognition: HTK/ATK, Nuance, JSGF</li>
</ul>
<p>
The GF programming language is high-level and advanced, featuring
</p>
<ul>
- <li>static type checking
- <li>higher-order functions
- <li>dependent types
- <li>pattern matching with data constructors and regular expressions
- <li>module system with multiple inheritance and parametrized modules
+ <li>static type checking</li>
+ <li>higher-order functions</li>
+ <li>dependent types</li>
+ <li>pattern matching with data constructors and regular expressions</li>
+ <li>module system with multiple inheritance and parametrized modules</li>
</ul>
<h3>Getting help</h3>
@@ -260,23 +266,39 @@ least one, it may help you to get a first idea of what GF is.
Later projects using GF and involving third parties include, in chronological order,
</p>
<ul>
- <li><a href="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</a>:
+ <li>
+ <a href="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</a>:
natural language interface to formal proofs
- <li><a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>:
+ </li>
+ <li>
+ <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>:
authoring tool for business models.
- <li><a href="http://www.key-project.org/">GF-KeY</a>:
+ </li>
+ <li>
+ <a href="http://www.key-project.org/">GF-KeY</a>:
authoring and translation of software specifications
- <li><a href="http://www.talk-project.org">TALK</a>:
+ </li>
+ <li>
+ <a href="http://www.talk-project.org">TALK</a>:
multilingual and multimodal spoken dialogue systems
- <li><a href="http://webalt.math.helsinki.fi/">WebALT</a>:
+ </li>
+ <li>
+ <a href="http://webalt.math.helsinki.fi/">WebALT</a>:
multilingual generation of mathematical exercises (commercial project)
- <li><a href="http://spraakbanken.gu.se/sal/">SALDO</a>:
+ </li>
+ <li>
+ <a href="http://spraakbanken.gu.se/sal/">SALDO</a>:
Swedish morphological dictionary based on rules developed for GF and
<a href="http://www.cse.chalmers.se/alumni/markus/FM/">Functional Morphology</a>
- <li><a href="http://www.molto-project.eu">MOLTO</a>:
+ </li>
+ <li>
+ <a href="http://www.molto-project.eu">MOLTO</a>:
multilingual online translation
- <li><a href="http://remu.grammaticalframework.org">REMU</a>:
+ </li>
+ <li>
+ <a href="http://remu.grammaticalframework.org">REMU</a>:
reliable multilingual digital communication.
+ </li>
</ul>
<p>
Here is a <a
@@ -354,15 +376,6 @@ least one, it may help you to get a first idea of what GF is.
<footer class="bg-light mt-5 py-5">
<div class="container mb-5">
<div class="row">
- <div class="col-md-4">
-
- </div>
- <div class="col-md-4">
-
- </div>
- <div class="col-md-4">
-
- </div>
<div>
<div>
</footer>
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 04:55:27 +0000