diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 16:16:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 16:16:50 +0000 |
commit | 0196e183006e8c74dcb4f5f5915c052cacf0c8f7 (patch) | |
tree | 0c9626e373ca05c4cb8ff4dd300f7b05ea64ee84 /todo | |
parent | b2eec9b2e23740ff524d13613f039a4f1783d06e (diff) |
Updated
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -49,8 +49,12 @@ X Solaris bugs: font locking and button enabling. visiting a new/empty thy file: buttons are off and are not enabled by typing new stuff. + Moved down the list now, instead we disable button enablers on + Solaris. + *** Scheduled improvements for 3.2 + **** A Doc new bits: font lock keywords, filename %e, %r. Added proof-{script,shell,goals,resp}-font-lock-keywords. Presently used only in proof-easy-config, will put into other |