Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Documentation. | 2005-05-17 | |
| | |||
* | Add proof-thms-buffer | 2002-09-04 | |
| | |||
* | Fix comment | 2002-07-16 | |
| | |||
* | GPL | 2002-06-21 | |
| | |||
* | Year changes | 2002-03-21 | |
| | |||
* | Comments | 2002-01-16 | |
| | |||
* | Added proof-trace-buffer. | 2001-12-10 | |
| | |||
* | Add variable proof-previous-script-buffer | 2001-08-30 | |
| | |||
* | Move autoloads loads to proof-site, invoke (proof-splash-message) | 2001-05-16 | |
| | |||
* | Extra arg to proof-splash-display-screen. | 2000-05-11 | |
| | |||
* | Fixup loading. | 2000-05-09 | |
| | |||
* | Removed autoloads, util functions. | 2000-05-09 | |
| | |||
* | Moved code into proof-system and proof-utils. | 2000-05-05 | |
| | |||
* | Added proof-assistant-keymap and commands for defining insert keys. | 2000-05-02 | |
| | |||
* | Helper macros. | 2000-05-01 | |
| | |||
* | Update copyright dates, comments. | 2000-04-04 | |
| | |||
* | Added return value for proof-shell-maybe-erase-response. Bug report msg. | 2000-03-13 | |
| | |||
* | Fix to warn function to use format args. | 2000-03-08 | |
| | |||
* | Add definition of warn function for FSF compatibility. | 2000-02-28 | |
| | |||
* | Attempted fix for thy-mode X-Symbol problems. Still buggy. | 2000-01-12 | |
| | |||
* | More docstring for proof-customize-toggle. | 1999-11-24 | |
| | |||
* | Docstrings. | 1999-11-24 | |
| | |||
* | Renamed proof-auto-delete-windows -> proof-delete-empty-windows | 1999-11-22 | |
| | |||
* | Fix so clicking on url works in bug report | 1999-11-22 | |
| | |||
* | Fix proof-try-require for FSF Emacs. | 1999-11-19 | |
| | |||
* | Moved response buffer code here. | 1999-11-18 | |
| | | | | | Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust | ||
* | Name change proof-window-dedicated -> proof-dont-switch-windows. | 1999-11-17 | |
| | |||
* | Docstrings, bug report msg. Added proof-warn-if-unset. | 1999-11-16 | |
| | |||
* | Repaired FSF font-locking. Define toggler for output hilite enable. | 1999-11-15 | |
| | |||
* | Moved proof-switch-to-buffer here from proof-script.el | 1999-11-15 | |
| | |||
* | Some new macros. FSF fix for font-lock. Failed attempt not to turn on ↵ | 1999-11-15 | |
| | | | | font-lock everywhere. | ||
* | Many robustness improvements for error and interrupt handling: | 1999-11-14 | |
| | | | | | | | | | | | | - 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) | ||
* | proof-nested-goals-allowed -> proof-completed-proof-behaviour | 1999-11-14 | |
| | | | | | Patch for more flexible handling of closing goal...save regions after proof has been completed. | ||
* | Added new face for debug messages | 1999-11-13 | |
| | |||
* | Notes about font-lock management. | 1999-11-12 | |
| | |||
* | Fixes for response buffer display, x-symbol, output formatting. | 1999-11-12 | |
| | |||
* | Attempted x-symbol improvements | 1999-11-11 | |
| | |||
* | Removed debug instruction. | 1999-11-11 | |
| | |||
* | Next round of fixups for font-lock and x-symbol. | 1999-11-11 | |
| | |||
* | Extensive fixes for x-symbol and font-lock. | 1999-11-11 | |
| | |||
* | Reorganized user options. Special new code for boolean settings. | 1999-11-10 | |
| | |||
* | Moved more utility functions here. | 1999-11-10 | |
| | |||
* | Generic support for x-symbol tuned up. | 1999-11-09 | |
| | |||
* | Docstring for proof-included-files. | 1999-11-08 | |
| | |||
* | Copyright messages updated. Autoloads for x-symbol. | 1999-11-08 | |
| | |||
* | update of x-symbol stuff by DvO; | 1999-10-27 | |
| | |||
* | Made proof-warning and friends take arg list. | 1999-10-25 | |
| | |||
* | face arg for proof-response-buffer-display is now optional | 1999-10-06 | |
| | | | | added proof-message, proof-warning, proof-debug here. | ||
* | Fix for FSF: it should load proof-toolbar too. | 1999-09-28 | |
| | |||
* | Fix for toolbar disable for FSF Emacs. | 1999-08-23 | |
| |