| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
General specific bugs is still missing.
|
|
|
|
o new chapter on support for other packages
o updated section on fume-func
|
|
|
