diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO index f0a1dd144..9e064dabc 100644 --- a/src/editor/simple/TODO +++ b/src/editor/simple/TODO @@ -20,7 +20,8 @@ suggestions) + Try grammars in the Translation Quiz + Show lincat and lin before params and opers below -- Create a new concrete syntax by copying an existing one. ++ Create a new concrete syntax by copying an existing one. +- Easy access to compute_concrete from the editor + compile only the uploaded grammar even if other grammars are present + 'flags startcat' is needed for grammars with only one category (since the diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 8118f0584..910745b13 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -107,16 +107,15 @@ Error checks:

Concrete syntax

-At the moment, concrete syntax definitions are limited to +At the moment, the concrete syntax for a language L is limited to Available editing operations: @@ -129,6 +128,15 @@ Available editing operations:
  • Operation definitons can be added, removed and edited.
  • Definitions can be reordered (using drag-and-drop) +Also, + + Error checks: