| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-04-04 | Update copyright dates, comments. | David Aspinall | |
| 2000-03-13 | Added return value for proof-shell-maybe-erase-response. Bug report msg. | David Aspinall | |
| 2000-03-08 | Fix to warn function to use format args. | David Aspinall | |
| 2000-02-28 | Add definition of warn function for FSF compatibility. | David Aspinall | |
| 2000-01-12 | Attempted fix for thy-mode X-Symbol problems. Still buggy. | David Aspinall | |
| 1999-11-24 | More docstring for proof-customize-toggle. | David Aspinall | |
| 1999-11-24 | Docstrings. | David Aspinall | |
| 1999-11-22 | Renamed proof-auto-delete-windows -> proof-delete-empty-windows | David Aspinall | |
| 1999-11-22 | Fix so clicking on url works in bug report | David Aspinall | |
| 1999-11-19 | Fix proof-try-require for FSF Emacs. | David Aspinall | |
| 1999-11-18 | Moved response buffer code here. | David Aspinall | |
| Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust | |||
| 1999-11-17 | Name change proof-window-dedicated -> proof-dont-switch-windows. | David Aspinall | |
| 1999-11-16 | Docstrings, bug report msg. Added proof-warn-if-unset. | David Aspinall | |
| 1999-11-15 | Repaired FSF font-locking. Define toggler for output hilite enable. | David Aspinall | |
| 1999-11-15 | Moved proof-switch-to-buffer here from proof-script.el | David Aspinall | |
| 1999-11-15 | Some new macros. FSF fix for font-lock. Failed attempt not to turn on ↵ | David Aspinall | |
| font-lock everywhere. | |||
| 1999-11-14 | Many 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-14 | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | |
| Patch for more flexible handling of closing goal...save regions after proof has been completed. | |||
| 1999-11-13 | Added new face for debug messages | David Aspinall | |
| 1999-11-12 | Notes about font-lock management. | David Aspinall | |
| 1999-11-12 | Fixes for response buffer display, x-symbol, output formatting. | David Aspinall | |
| 1999-11-11 | Attempted x-symbol improvements | David Aspinall | |
| 1999-11-11 | Removed debug instruction. | David Aspinall | |
| 1999-11-11 | Next round of fixups for font-lock and x-symbol. | David Aspinall | |
| 1999-11-11 | Extensive fixes for x-symbol and font-lock. | David Aspinall | |
| 1999-11-10 | Reorganized user options. Special new code for boolean settings. | David Aspinall | |
| 1999-11-10 | Moved more utility functions here. | David Aspinall | |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall | |
| 1999-11-08 | Docstring for proof-included-files. | David Aspinall | |
| 1999-11-08 | Copyright messages updated. Autoloads for x-symbol. | David Aspinall | |
| 1999-10-27 | update of x-symbol stuff by DvO; | Makarius Wenzel | |
| 1999-10-25 | Made proof-warning and friends take arg list. | David Aspinall | |
| 1999-10-06 | face arg for proof-response-buffer-display is now optional | David Aspinall | |
| added proof-message, proof-warning, proof-debug here. | |||
| 1999-09-28 | Fix for FSF: it should load proof-toolbar too. | David Aspinall | |
| 1999-08-23 | Fix for toolbar disable for FSF Emacs. | David Aspinall | |
| 1999-08-23 | proof-version -> proof-general-version | David Aspinall | |
| 1999-02-22 | Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited. | David Aspinall | |
| 1998-12-18 | Beginnings of x-symbol support. | David Aspinall | |
| 1998-12-15 | Improved documentation of proof-included-files-list. | David Aspinall | |
| 1998-12-14 | Reordered require of cl. Changed deflocal definition. | David Aspinall | |
| 1998-12-11 | Tweaked headings for bug report | David Aspinall | |
| 1998-12-11 | Added proof-submit-bug-report | David Aspinall | |
| 1998-12-10 | Made point stay at top of goals buffer and bottom of response buffer | David Aspinall | |
| 1998-11-26 | Format fix | 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 | Replaced proof-pbp-buffer with proof-goals-buffer. | David Aspinall | |
| 1998-11-25 | Note about window dedicated problem. | David Aspinall | |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall | |
| Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer. | |||
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall | |
| Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions. | |||
| 1998-11-18 | proof-response-buffer-display: Move point to the end of the buffer | David Aspinall | |
| after all. It can get moved by the display functions. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |