aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
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
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 font-l...David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
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
1999-11-08Docstring for proof-included-files.David Aspinall
1999-11-08Copyright messages updated. Autoloads for x-symbol.David Aspinall
1999-10-27update of x-symbol stuff by DvO;Makarius Wenzel
1999-10-25Made proof-warning and friends take arg list.David Aspinall
1999-10-06face arg for proof-response-buffer-display is now optionalDavid Aspinall
1999-09-28Fix for FSF: it should load proof-toolbar too.David Aspinall
1999-08-23Fix for toolbar disable for FSF Emacs.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
1998-12-15Improved documentation of proof-included-files-list.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:44:26 +0000