diff options
| author | Pierre Courtieu | 2008-07-21 15:14:58 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2008-07-21 15:14:58 +0000 |
| commit | a4fe36f5e0c3ffc64797bed551176d6d30a04834 (patch) | |
| tree | ef580b8c356619008d0db0bf0f548b2b6181165f /coq/TODO-TMP | |
| parent | 5b11bdadb77636e56dbfd632c85d443a8e8fe59d (diff) | |
todo added fo coq.
Diffstat (limited to 'coq/TODO-TMP')
| -rw-r--r-- | coq/TODO-TMP | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/coq/TODO-TMP b/coq/TODO-TMP index 15fb4aa7..23b78c02 100644 --- a/coq/TODO-TMP +++ b/coq/TODO-TMP @@ -1,3 +1,13 @@ + +march 6 2008: +-- line ending with *). are swalloawed when queuing. +-- give a cursor back in goal and response buffer!!! +-- have '_' be a symbol constituent AND compatible with font-lock +-- catch window splitting errors when quitting/relaunching coq +** end march 6 2008 + + + --- multiple file hacking finish --- X-sym wierdness: (1) (warning/warning) Must provide :input-spec --- nick ideas from coq-ide: proof wizard |