From de85dbeb2c82199dd20d1bd0618b974321ee2061 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 23 Sep 1998 11:17:09 +0000 Subject: Added todo for making completion more flexible, not nec. using tags --- todo | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/todo b/todo index c48311b3..fca49d00 100644 --- a/todo +++ b/todo @@ -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. -- cgit v1.2.3