diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:17:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:17:09 +0000 |
| commit | de85dbeb2c82199dd20d1bd0618b974321ee2061 (patch) | |
| tree | ccb6c8cbf84f10fae0fc3653834acff9f6c3fb88 | |
| parent | def9b9bc44bedc841599eea74a98910ffde4b8f7 (diff) | |
Added todo for making completion more flexible, not nec. using tags
| -rw-r--r-- | todo | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -197,6 +197,9 @@ X Comment support is not very generic: we don't support end-of-line terminated comments. Is there any case where this might be worthwhile? (2h to add it). +B Make completion more generic. For Isabelle we can build a + completion table by querying the process, which is better than + messing with tags. * Proof-by-Pointing @@ -288,8 +291,11 @@ A CRUCIAL: Do something to manage .thy and .ML files coherently. (Probably answer: Isabelle needs to support non-automatic reading of ML file: a function "use_thy_only" ). -D Write perl scripts to generate TAGS file for ML and thy files. - (6h, I've completely forgotten perl) +X Write perl scripts to generate TAGS file for ML and thy files. + (6h, I've completely forgotten perl), or better: + +D Implement completion for Isabelle using tables generated by + the running process. D Add useful specific commands for Isabelle. Many could be added. Would be better to merge in Isamode's menus. |