diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:11:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:11:09 +0000 |
commit | 255646ed49b12b106c2a65995855e8921688ecd8 (patch) | |
tree | 791673738d0ce0f5410317985b97132b029c266d /CHANGES | |
parent | 17a6636b156af512147476af4b29b38645906341 (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -60,6 +60,10 @@ instead of customizing the `proof-assistants' variable. *** Various efficiency improvements +*** Desktop integration for RedHat 7.3, Mandrake 8.2 in RPM package. + + + ** Isabelle Changes |