diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 12:50:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 12:50:11 +0000 |
commit | e3c35fac09cb9cb961f24220115621724218743d (patch) | |
tree | 2bb8a57c1f285c40ee1e03aac7d068c6eec618bb /INSTALL | |
parent | b6844dcb873d17f980886b3e9e3ee09896ffa2f3 (diff) |
. Removed "multiple prover problem" from bugs section, since it's now
handled gracefully. It's a limitation rather than a bug per se.
. Added a new subsection to Appendix A, for setting names of binaries.
. Moved the table of script extensions and mode names to section 1.1
. Added proof-shell-insert and proof-invisible command to Chap 10.
. Updated magic.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions