summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-10-07 12:14:30 +0000
committerhallgren <hallgren@chalmers.se>2011-10-07 12:14:30 +0000
commit5b980dcb930a1fe380e28fb9905db64e1da37672 (patch)
tree59a654e7eca71bf780c7e5ecbc2ea0882fac72bd
parent5f0d4079685610208216cc9d7f192e290df2b8e1 (diff)
gfse: documentation tweaks
-rw-r--r--src/editor/simple/about.html9
1 files changed, 5 insertions, 4 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html
index 8682d4519..8660621a3 100644
--- a/src/editor/simple/about.html
+++ b/src/editor/simple/about.html
@@ -26,7 +26,7 @@
<img class=hidden src="P/w4s.jpg" alt="[GF online editor screen shoot]">
</div>
</div>
-<h2>About</h2>
+<h2>Introduction</h2>
Traditionally, <a href="http://www.grammaticalframework.org/">GF</a>
grammars are created in a text editor and tested in the
@@ -226,14 +226,15 @@ suitable for multiple users developing a grammar in collaboration.
<h3>Related documents</h3>
<ul>
+ <li><a href="http://www.grammaticalframework.org/~hallgren/Talks/GF/gf-ide.html">GF Grammar Development Tools</a>. Slides from a presentation at the MOLTO meeting in Göteborg, March 2011.
+ <li><a href="http://www.grammaticalframework.org/grammar-ide/">The GF Grammar IDE</a>. MOLTO deliverable.
<li><a href="http://www.grammaticalframework.org/compiler-api">The GF Grammar
- Compiler API</a>.
- <li><a href="http://www.grammaticalframework.org/~hallgren/Talks/GF/gf-ide.html">Slides</a> from a presentation at the MOLTO meeting in Göteborg, March 2011.
+ Compiler API</a>. MOLTO deliverable.
</ul>
<hr>
<div class=modtime><small>
-<!-- hhmts start --> Last modified: Wed Sep 28 15:52:44 CEST 2011 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Oct 7 14:06:14 CEST 2011 <!-- hhmts end -->
</small></div>
<address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>