| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-11-25 | Be gentler in walkthrough. | David Aspinall | |
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-25 | Cleaned up some text. | David Aspinall | |
| Added example special display regexps. Note about Isabelle PG clashing with sml-mode. | |||
| 1998-11-25 | Added mention of user documentation. | David Aspinall | |
| 1998-11-25 | Got rid of an error message in case of process early exiting. | David Aspinall | |
| 1998-11-25 | Updated. Added item for process early exiting. | David Aspinall | |
| 1998-11-25 | Cleaned up, and made use_thy remove ML file from DB properly; | David Aspinall | |
| optimised use_thy to report only on files newly added to db. | |||
| 1998-11-25 | Remove isa/wip.ML from distrib and web. | David Aspinall | |
| 1998-11-25 | Docstring improvements. | David Aspinall | |
| 1998-11-25 | Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi | David Aspinall | |
| 1998-11-25 | note about incomplete goal..save sequences. | David Aspinall | |
| 1998-11-25 | Improvements to get rid of old ProofGeneral.texi. | David Aspinall | |
| Added doc for active terminator, proof shell start, stop, and restart. | |||
| 1998-11-25 | Documentation improvements. | David Aspinall | |
| 1998-11-25 | FSF Emacs fix for buffer-file-truename, which is the | David Aspinall | |
| *abbreviated* form of file-truename! | |||
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-25 | Extra Isabelle PG bug/feature with theory loader. Plan for pbp. | David Aspinall | |
| 1998-11-25 | Compile clean-ups. | David Aspinall | |
| 1998-11-25 | Fixed show_context | David Aspinall | |
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-25 | Improved kill function. Added process sentinel to watch for process exiting. | David Aspinall | |
| 1998-11-25 | Updated magic | David Aspinall | |
| 1998-11-25 | Replaced proof-pbp-buffer with proof-goals-buffer. | David Aspinall | |
| 1998-11-25 | Fixes to debug long standing not-showing-first-goal problem. | David Aspinall | |
| 1998-11-25 | Rearranged order of regexps, added *emphasised* markup case. | David Aspinall | |
| 1998-11-25 | Note about suspected bug in lego-shell-adjust-line-width. | David Aspinall | |
| 1998-11-25 | Note about window dedicated problem. | David Aspinall | |
| 1998-11-25 | Added note about no specific doc for Coq PG | David Aspinall | |
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-25 | Name fix. | David Aspinall | |
| 1998-11-25 | Added "start proof assistant" menu option | David Aspinall | |
| 1998-11-25 | Toolbar tip for restart changed. | David Aspinall | |
| 1998-11-25 | In filter: minor improvement for when proof-shell-wakeup-char is set. | David Aspinall | |
| In proof-shell-handle-error: Make action list empty to prevent proof shell filter seeing same error over and over in case user types directly in shell buffer after an error. | |||
| 1998-11-25 | Docstring improvements. | David Aspinall | |
| Made default for proof-window-dedicated be nil because of problems with multi frame stuff. | |||
| 1998-11-25 | Use make-local-hook instead of make-local-variable | David Aspinall | |
| 1998-11-25 | Made default proof-auto-delete-windows=nil again, it's too unpredictable. | David Aspinall | |
| 1998-11-25 | Added Isamode-like keybinding C-c C-l for proof-prf. | David Aspinall | |
| 1998-11-25 | Load proof-toolbar | David Aspinall | |
| 1998-11-25 | Updated magic | David Aspinall | |
| 1998-11-25 | fixed up newlines in @lisp environments. | David Aspinall | |
| 1998-11-25 | Fixed up exit hook (still buggy) | David Aspinall | |
| 1998-11-25 | Improved error handling in proof-deactivate-scripting since | David Aspinall | |
| it's used in a kill hook. | |||
| 1998-11-25 | Updated. | David Aspinall | |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall | |
| 1998-11-25 | more improvements, docstring fixes. | David Aspinall | |
| 1998-11-25 | Wrote proof-deactiveate-scripting command for turning off scripting | David Aspinall | |
| in the current buffer, automatically. Improved kill buffer hook for script buffers. Docstring fixes. | |||
| 1998-11-25 | docstring fixes and alterations. | David Aspinall | |
| Directory variables are no longer user options. | |||
| 1998-11-25 | tweaks to regexps; added automatic mention of default values for user | David Aspinall | |
| options, markup for 'symbols and back-forward quoted `text'. Allowed parsing to continue from partway through a previous match. | |||
| 1998-11-25 | Separated function and variable indexes again. | David Aspinall | |
| Improved many section titles and cross references. Finished off Basic script management chapter Added proof-site.el documentation in Internals chapter. | |||
| 1998-11-25 | Updates | David Aspinall | |
| 1998-11-25 | Added header. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |