From 629919667bf2d2c52c6a9a85cbc13397d38ac815 Mon Sep 17 00:00:00 2001 From: hallgren Date: Sun, 6 Mar 2011 10:19:17 +0000 Subject: gfse: minor layout/formatting variation --- src/editor/simple/TODO | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/editor/simple/TODO') 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. -- cgit v1.2.3