diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-05 19:38:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-05 19:38:19 +0000 |
| commit | 634c5a93526b92f58850135f5fadeb69f2ef0a19 (patch) | |
| tree | a57a5d119703399cbcba28612a0b387db002239d /generic | |
| parent | cfc85abf36e76debb0dd03516c51f4242a6bfc30 (diff) | |
List of stuff to do here
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 963d2d8d..c05ed092 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -40,7 +40,17 @@ ;; for particular proof assistants may be used elsewhere (e.g. in ;; document modes), without loading all of Proof General. ;; +;; ================================================================= +;; Current TODO here: +;; +;; -- Investigate outstanding problems reported by GK: esp subscripts +;; -- Fix code at end so that (proof-ass x-symbol-enable) setting works, +;; startup follows sequence recommended by CW +;; -- Test use of X-Symbol's comint input filter function +;; -- If necessary, modify that function (or provide a wrapper) which +;; works also from buffers which do not have x-symbol enabled +;; (defvar proof-x-symbol-initialized nil |