From 758e2a031d8866795c4f5e66f73964d16164dd89 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 28 Feb 2011 16:47:25 +0000
Subject: gfse: fix missing startcat flag bug + documentation updates

---
 src/editor/simple/about.html | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/editor/simple/about.html')

diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html
index 6905dae10..8118f0584 100644
--- a/src/editor/simple/about.html
+++ b/src/editor/simple/about.html
@@ -109,7 +109,10 @@ Error checks:
 
 At the moment, concrete syntax definitions are limited to
 <ul>
-  <li><em>parameter types</em>,
+  <li>opening the Resource Grammar Library modules
+  <code>Syntax</code><var>L</var> and <code>Paradigms</code><var>L</var>
+  for the appropriate language <var>L</var>,
+  <li><em>parameter type definitions</em>,
   <var>P</var> = <var>C<sub>1</sub></var> | ... |<var>C<sub>n</sub></var>,
   <li><em>linearization types</em> for the categories in the abstract syntax,
   <li><em>operation definitions</em>, <var>op</var> = <var>expr</var>,
@@ -150,8 +153,7 @@ web browser, but let the editor communicate with a server running GF.
 <p>
 By developing a GF server with an appropriate API, it should
 be possible to extend the editor to support a larger fragment of GF,
-to do proper error checking, and to allow grammars to be tested in the GF
-shell or the minibar.
+to do proper error checking.
 <p>
 Grammars are currently stored locally in the browser, but a future version
 could allow grammars to be stored "in the cloud", allowing the same grammars
@@ -159,7 +161,7 @@ to be accessed from multiple devices.
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start --> Last modified: Wed Feb 23 17:37:16 CET 2011 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Feb 28 17:44:19 CET 2011 <!-- hhmts end -->
   </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
-- 
cgit v1.2.3