diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 15:32:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 15:32:48 +0000 |
| commit | 204342f620cb85421981dec27d36bf76565d8db9 (patch) | |
| tree | fba7d9eaf1a2fad2394eda82b9df3321dfcb716c /TODO | |
| parent | 9753741c3e389e39d7df416b70e0ac40f47685a9 (diff) | |
Updated todo's.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -18,6 +18,8 @@ Plans for upcoming 3.x versions * Support turning on/off prover output automatically, e.g. Coq's "Begin Silent" and "End Silent" commands. +* Fix Isabelle's "Stack overflow in regexp". See isa/BUGS. + * Make an XEmacs package * Support more proof assistants |