| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added example special display regexps.
Note about Isabelle PG clashing with sml-mode.
|
|
|
|
Added doc for active terminator, proof shell start, stop, and restart.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Improved many section titles and cross references.
Finished off Basic script management chapter
Added proof-site.el documentation in Internals chapter.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added documentation for proof-auto-delete-windows.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to tms but he said he wouldn't get around to it)
|
|
|
|
|
|
|
|
|
|
|
|
|
