aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
2009-12-01Add keywords for possible benefit of finder package.David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-07Only show splash message if noninteractiveDavid Aspinall
2009-09-07Remove load order tweak experimentDavid Aspinall
2009-09-07Requires processed more often (experiment)David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
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, namespa...David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:40:15 +0000