aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
1999-11-15UpdatedDavid Aspinall
1999-11-15Updated for new keybindings and menu layout.David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
- Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
1999-11-14Fix to docstring magic (allow spaces after symbol).David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
Patch for more flexible handling of closing goal...save regions after proof has been completed.
1999-11-13Updates and improvementsDavid Aspinall
1999-11-12Documentation improvementsDavid Aspinall
1999-11-11Improved documentation, more options addedDavid Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Added a section on user option conventions. Changed var namesDavid Aspinall
1999-11-10proof-looking-at (subject to proof-case-fold-search);Makarius Wenzel
1999-11-09Fixed info syntax errorsDavid Aspinall
1999-11-08Added a section on debugging, mentioned proof-show-debug-messages.David Aspinall
1999-11-08Fixes to intro.David Aspinall
1999-11-08Updates for 3.0David Aspinall
1999-10-27updated;Makarius Wenzel
1999-10-26updated;Makarius Wenzel
1999-10-21Documentation about the improved multiple file handling functions.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-21Added proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21typoDavid Aspinall
1999-10-21Revised bug section for Isabelle multiple file note.David Aspinall
1999-10-21A couple of comint symbols are mentioned in the docsDavid Aspinall
1999-10-20Fixed crossrefs.David Aspinall
1999-10-19Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicDavid Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-12docstring magicDavid Aspinall
1999-10-07Temporary location of web pagesDavid Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06UpdatesDavid Aspinall
1999-10-06UpdatesDavid Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-10-06proof-try-command is deprecatedDavid Aspinall
1999-10-06Updates.David Aspinall
1999-10-01Fixup name changesDavid Aspinall
1999-10-01No attempt to update BUGS section of manualDavid Aspinall
1999-10-01Minor changes to introduction.David Aspinall
1999-09-30make magic;Makarius Wenzel
1999-09-29Added proof-script-command-separator. Removed duplicated ↵David Aspinall
proof-strict-read-only.
1999-09-28UpdatedDavid Aspinall
1999-09-23Added doc for proof-find-theoremsDavid Aspinall
1999-09-22updated (make magic);Makarius Wenzel
1999-09-22Earlier explanation of what a proof assistant is.David Aspinall
1999-09-13Fixed rearrange target.David Aspinall
1999-09-13Updated magicDavid Aspinall
1999-09-13Emphasised that user can still use the shellDavid Aspinall
1999-09-13No longer cutting edge, really.David Aspinall
1999-09-13XEmacs 21 fixes for documentation of function menuDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:15:11 +0000