diff options
| author | hallgren <hallgren@chalmers.se> | 2011-02-28 16:47:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-02-28 16:47:25 +0000 |
| commit | 758e2a031d8866795c4f5e66f73964d16164dd89 (patch) | |
| tree | fb867c2d0073bc6fcf29029fa84b276d3f4e3662 /src/editor/simple/TODO | |
| parent | 790e086a54bbb94eb06c78eb30733786eb57a377 (diff) | |
gfse: fix missing startcat flag bug + documentation updates
Diffstat (limited to 'src/editor/simple/TODO')
| -rw-r--r-- | src/editor/simple/TODO | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/editor/simple/TODO b/src/editor/simple/TODO index be97bc47a..05f5160ac 100644 --- a/src/editor/simple/TODO +++ b/src/editor/simple/TODO @@ -12,8 +12,8 @@ + Allow definitions to be reordered + 1. possibility to compile the grammar set, returning a URL to a translator app -- 2. possibility to import modules - both resource libraries and user's own - auxiliaries ++ 2a. possibility to import modules - resource libraries +- 2b. possibility to import modules - user's own auxiliaries - 3. possibility to upload own modules + 4. access to the created files in an on-line shell (making testing possible) - 5. rule-to-rule type checking and guidance (e.g. with library oper @@ -27,5 +27,5 @@ - Bug! After adding a 2nd def of a fun with a different type and then deleting the old fun, the corresponding lin will have the wrong lhs. -- Bug! The startcat menu shows the first category by default, but the startcat ++ 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 |