aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Collapse)Author
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-01-15Comments.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2008-01-03Fixed something wrong. Probably a file missing (proof-system.el ?).Pierre Courtieu
2007-12-14Updated.David Aspinall
2007-08-14Add unload utility for developmentDavid Aspinall
2005-05-17Documentation.David Aspinall
2002-09-04Add proof-thms-bufferDavid Aspinall
2002-07-16Fix commentDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2002-01-16CommentsDavid Aspinall
2001-12-10Added proof-trace-buffer.David Aspinall
2001-08-30Add variable proof-previous-script-bufferDavid Aspinall
2001-05-16Move autoloads loads to proof-site, invoke (proof-splash-message)David Aspinall
2000-05-11Extra arg to proof-splash-display-screen.David Aspinall
2000-05-09Fixup loading.David Aspinall
2000-05-09Removed autoloads, util functions.David Aspinall
2000-05-05Moved code into proof-system and proof-utils.David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Helper macros.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-03-13Added return value for proof-shell-maybe-erase-response. Bug report msg.David Aspinall
2000-03-08Fix to warn function to use format args.David Aspinall
2000-02-28Add definition of warn function for FSF compatibility.David Aspinall
2000-01-12Attempted fix for thy-mode X-Symbol problems. Still buggy.David Aspinall
1999-11-24More docstring for proof-customize-toggle.David Aspinall
1999-11-24Docstrings.David Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
1999-11-22Fix so clicking on url works in bug reportDavid Aspinall
1999-11-19Fix proof-try-require for FSF Emacs.David Aspinall
1999-11-18Moved response buffer code here.David Aspinall
Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust
1999-11-17Name change proof-window-dedicated -> proof-dont-switch-windows.David Aspinall
1999-11-16Docstrings, bug report msg. Added proof-warn-if-unset.David Aspinall
1999-11-15Repaired FSF font-locking. Define toggler for output hilite enable.David Aspinall
1999-11-15Moved proof-switch-to-buffer here from proof-script.elDavid Aspinall
1999-11-15Some new macros. FSF fix for font-lock. Failed attempt not to turn on ↵David Aspinall
font-lock everywhere.
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-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-13Added new face for debug messagesDavid Aspinall
1999-11-12Notes about font-lock management.David Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-11Attempted x-symbol improvementsDavid Aspinall
1999-11-11Removed debug instruction.David Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-10Moved more utility functions here.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 16:29:16 +0000