diff options
Diffstat (limited to 'src/editor/simple/TODO')
| -rw-r--r-- | src/editor/simple/TODO | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO index 05f5160ac..f0a1dd144 100644 --- a/src/editor/simple/TODO +++ b/src/editor/simple/TODO @@ -19,6 +19,8 @@ - 5. rule-to-rule type checking and guidance (e.g. with library oper 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. + compile only the uploaded grammar even if other grammars are present + 'flags startcat' is needed for grammars with only one category (since the @@ -28,4 +30,4 @@ the old fun, the corresponding lin will have the wrong lhs. + 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.
\ No newline at end of file + flag is actually not set until a selection is made from the menu. |