| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
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
|
|
|
|
|
|
be a handy menu item to switch to the shell buffer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
|
|
|
|
|
|
|
|
|
|
|
|
|
