| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
o added a suggestion by hht
o documentation now at generic level only
|
|
|
|
|
|
|
|
|
|
|
|
numbers/authors.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. added UITP reference
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added docstring for proof-deactivate-scripting and mentioned it
in Chap 10.
Removed spurious mention of defunct function proof-restart-scripting.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
