diff options
| author | hallgren <hallgren@chalmers.se> | 2011-03-06 10:19:17 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-03-06 10:19:17 +0000 |
| commit | 629919667bf2d2c52c6a9a85cbc13397d38ac815 (patch) | |
| tree | e5dfb1fb0adc61613850e0b9bd06a7b2263e96a3 /src/editor/simple/TODO | |
| parent | f32307b39db77a937aa87b0cd455acc639665cd6 (diff) | |
gfse: minor layout/formatting variation
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. |