diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 12:09:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 12:09:40 +0000 |
commit | 123583aee2f5b28027fc7993ee838c9c20c31edc (patch) | |
tree | fa9ae6dd23c48b8f481be78c3e5fd37a99f5b247 /CHANGES | |
parent | 768ae4b0f832534440d58b87b42962b6f5a7de3a (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -57,11 +57,14 @@ For minor issues, see isa/BUGS. You can simply remove the directories from the PG distribution, instead of customizing the `proof-assistants' variable. -*** Various efficiency improvements +*** Desktop integration for RedHat 7.3, Mandrake 8.2 in RPM package. +RPM package now works on RedHat as well as Mandrake, and adds PG application +to desktop menus. -*** Desktop integration for RedHat 7.3, Mandrake 8.2 in RPM package. +*** Efficiency improvements +Process buffers no longer keep undo information. |