gfse: fix missing startcat flag bug + documentation updates

src/editor/simple/TODO

@@ -12,8 +12,8 @@
 + Allow definitions to be reordered
 
 + 1. possibility to compile the grammar set, returning a URL to a translator app
-- 2. possibility to import modules - both resource libraries and user's own
-     auxiliaries
++ 2a. possibility to import modules - resource libraries
+- 2b. possibility to import modules - user's own auxiliaries
 - 3. possibility to upload own modules
 + 4. access to the created files in an on-line shell (making testing possible)
 - 5. rule-to-rule type checking and guidance (e.g. with library oper
@@ -27,5 +27,5 @@
 - Bug! After adding a 2nd def of a fun with a different type and then deleting
   the old fun, the corresponding lin will have the wrong lhs.
 
-- Bug! The startcat menu shows the first category by default, but the startcat
++ Bug! The startcat menu shows the first category by default, but the startcat
   flag is actually not set until a selection is made from the menu.

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>

src/editor/simple/gf_abs.js

@@ -151,7 +151,8 @@ function show_grammar(g) {
 }
 
 function show_abstract(g) {
-    var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat;
+//  var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat;
+    var startcat= g.abstract.startcat || g.abstract.cats[0];
     return "abstract "+g.basename+" = {\n\n"
 	+"flags coding = utf8 ;\n\n"
 	+show_startcat(startcat)