diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-01-12 14:05:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-01-12 14:05:56 +0000 |
commit | 7298e49425de3576c740fc7eab655835f7d28315 (patch) | |
tree | 027b24ffed16462e5430c1888ed3962ca928dae6 /CHANGES | |
parent | fdb2ebc3d2ac4704f6f9e9db31cca9b99a9b2604 (diff) |
Note about X-Symbol problems.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -8,6 +8,9 @@ Generic Changes Minor bug fix for duplicated short output. (set proof-shell-eager-annotation-start-length appropriately) +Bug fix with .thy files and X-Symbol mode: subsequently visited + theory files would have X-Symbols broken. (NB: Fix in progress) + Coq Changes ----------- |