aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof.el
Commit message (Expand)AuthorAge
* Documentation.Gravatar David Aspinall2005-05-17
* Add proof-thms-bufferGravatar David Aspinall2002-09-04
* Fix commentGravatar David Aspinall2002-07-16
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* CommentsGravatar David Aspinall2002-01-16
* Added proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Add variable proof-previous-script-bufferGravatar David Aspinall2001-08-30
* Move autoloads loads to proof-site, invoke (proof-splash-message)Gravatar David Aspinall2001-05-16
* Extra arg to proof-splash-display-screen.Gravatar David Aspinall2000-05-11
* Fixup loading.Gravatar David Aspinall2000-05-09
* Removed autoloads, util functions.Gravatar David Aspinall2000-05-09
* Moved code into proof-system and proof-utils.Gravatar David Aspinall2000-05-05
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Helper macros.Gravatar David Aspinall2000-05-01
* Update copyright dates, comments.Gravatar David Aspinall2000-04-04
* Added return value for proof-shell-maybe-erase-response. Bug report msg.Gravatar David Aspinall2000-03-13
* Fix to warn function to use format args.Gravatar David Aspinall2000-03-08
* Add definition of warn function for FSF compatibility.Gravatar David Aspinall2000-02-28
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* More docstring for proof-customize-toggle.Gravatar David Aspinall1999-11-24
* Docstrings.Gravatar David Aspinall1999-11-24
* Renamed proof-auto-delete-windows -> proof-delete-empty-windowsGravatar David Aspinall1999-11-22
* Fix so clicking on url works in bug reportGravatar David Aspinall1999-11-22
* Fix proof-try-require for FSF Emacs.Gravatar David Aspinall1999-11-19
* Moved response buffer code here.Gravatar David Aspinall1999-11-18
* Name change proof-window-dedicated -> proof-dont-switch-windows.Gravatar David Aspinall1999-11-17
* Docstrings, bug report msg. Added proof-warn-if-unset.Gravatar David Aspinall1999-11-16
* Repaired FSF font-locking. Define toggler for output hilite enable.Gravatar David Aspinall1999-11-15
* Moved proof-switch-to-buffer here from proof-script.elGravatar David Aspinall1999-11-15
* Some new macros. FSF fix for font-lock. Failed attempt not to turn on font-l...Gravatar David Aspinall1999-11-15
* Many robustness improvements for error and interrupt handling:Gravatar David Aspinall1999-11-14
* proof-nested-goals-allowed -> proof-completed-proof-behaviourGravatar David Aspinall1999-11-14
* Added new face for debug messagesGravatar David Aspinall1999-11-13
* Notes about font-lock management.Gravatar David Aspinall1999-11-12
* Fixes for response buffer display, x-symbol, output formatting.Gravatar David Aspinall1999-11-12
* Attempted x-symbol improvementsGravatar David Aspinall1999-11-11
* Removed debug instruction.Gravatar David Aspinall1999-11-11
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Reorganized user options. Special new code for boolean settings.Gravatar David Aspinall1999-11-10
* Moved more utility functions here.Gravatar David Aspinall1999-11-10
* Generic support for x-symbol tuned up.Gravatar David Aspinall1999-11-09
* Docstring for proof-included-files.Gravatar David Aspinall1999-11-08
* Copyright messages updated. Autoloads for x-symbol.Gravatar David Aspinall1999-11-08
* update of x-symbol stuff by DvO;Gravatar Makarius Wenzel1999-10-27
* Made proof-warning and friends take arg list.Gravatar David Aspinall1999-10-25
* face arg for proof-response-buffer-display is now optionalGravatar David Aspinall1999-10-06
* Fix for FSF: it should load proof-toolbar too.Gravatar David Aspinall1999-09-28
* Fix for toolbar disable for FSF Emacs.Gravatar David Aspinall1999-08-23