diff options
| author |  Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:10:56 +0000 |
|---|---|---|
| committer | Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:10:56 +0000 |
| commit | 41a87c513357da8bc0dce196c4ec46255826ba10 (patch) | |
| tree | 0b9eb6825f9240d57f5a7919ef6b5fc7595b4abc | |
| parent | 2b7baf208ca8aa23e7f9038607f0ac4b4fdc1563 (diff) | |
Fixed outstanding things to be updated in Coq.
| -rw-r--r-- | todo | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -22,6 +22,5 @@ This is a list of things which need doing to the lego mode. * file handling could be more robust -* For Coq: - Fill in proof-shell-interrupt-regexp - Fill in proof-state-preserving-p +* LEGO mode might incorporate changes to Coq mode menu, in particular + making help refer to the info file. |