diff options
author | 2002-07-17 12:03:46 +0000 | |
---|---|---|
committer | 2002-07-17 12:03:46 +0000 | |
commit | a38f5defd9ed81de0263b1bf5ec42bce3589cdd2 (patch) | |
tree | c0d8dcfa5c163226ebec3767f7e4dbfe1b353895 /isar | |
parent | 07c7b9060e986da4ad100c77605fcbea58b894b2 (diff) |
Update versions/TODO
Diffstat (limited to 'isar')
-rw-r--r-- | isar/todo | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -13,6 +13,3 @@ func-menu setup?); ** C proper proof-by-pointing support (hard; needs major reworking of Isabelle's pretty-printing subsystem); - -** C tune behaviour of goals/response buffers (e.g. hide empty -response buffers when using 2 buffer model); |