diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 21:32:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 21:32:54 +0000 |
| commit | dbe1abdd4e827aa61e3b5ee4eeda9b5e1cc9ae3c (patch) | |
| tree | efe8bf84a98a9de6ff79eccf2b4a804a317642e8 /CHANGES | |
| parent | e9810344a33d604d78fb487ef3e09a04a85a1bfd (diff) | |
Tweaks
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ Generic Changes * Demonstration instance of Proof General for Isabelle shows how you can get the interface going with a minimum of fuss. - It has just 30 simple settings. + It has less than 30 simple settings. * Proof General is now more cany about the queue of commands. You can now add more proof commands on the end of the queue, |