summaryrefslogtreecommitdiff
path: root/src/editor/simple/about.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-02-28 16:47:25 +0000
committerhallgren <hallgren@chalmers.se>2011-02-28 16:47:25 +0000
commit758e2a031d8866795c4f5e66f73964d16164dd89 (patch)
treefb867c2d0073bc6fcf29029fa84b276d3f4e3662 /src/editor/simple/about.html
parent790e086a54bbb94eb06c78eb30733786eb57a377 (diff)
gfse: fix missing startcat flag bug + documentation updates
Diffstat (limited to 'src/editor/simple/about.html')
-rw-r--r--src/editor/simple/about.html10
1 files changed, 6 insertions, 4 deletions
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>