aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
1998-10-27Temp disable splashDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26Splash screen now works for FSFDavid Aspinall
1998-10-22Separated splash screen codeDavid Aspinall
1998-10-22Moved user options into proof-configDavid Aspinall
1998-10-22Split proof.el into proof-config.el, proof-script.el, proof-shell.elDavid Aspinall
1998-10-22renamed fume-match-find-next-function-nameThomas Kleymann
1998-10-22fixed bug in fume-match-find-next-function-nameThomas Kleymann
1998-10-21o Replaced proof-register-new-processed-file by -possibly-new- variant.David Aspinall
1998-10-21no longer displays important messages about file assertion/retractionThomas Kleymann
1998-10-21Improved maintainability of code in proof-check-process-available.David Aspinall
1998-10-21fixed a bug in `proof-check-process-available'Thomas Kleymann
1998-10-21o made buffer-file-truename even saferThomas Kleymann
1998-10-21o Improved error messagesThomas Kleymann
1998-10-21Added code to register fully processed file. Multiple file fix list updatedDavid Aspinall
1998-10-21Changed from forcing w3 to using customizable browse-urlDavid Aspinall
1998-10-21Added proof-activate-scripting-hook and fixed regexpsDavid Aspinall
1998-10-20Changed minibuffer tag to have name of prover instead of ProofDavid Aspinall
1998-10-19Bug fixes for multiple file code, da/tms.David Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-12Added compatibility hack for customize-menu-create.David Aspinall
1998-10-12Added sensible error message for attempting undo on empty locked region.David Aspinall
1998-10-12Made defface's work for dark background Emacsen (default for FSF on Linux).David Aspinall
1998-10-12Dox. Made proof-shell-exec-loop not complain about empty action list.David Aspinall
1998-10-12Splash screen tries gif if jpeg not available. Using hack by tmsDavid Aspinall
1998-10-12Fixed typo.David Aspinall
1998-10-12Toolbar featurep. Separate Internals menu. Doc strings.David Aspinall
1998-10-09Customize group name: prover-config, not proof-config.David Aspinall
1998-10-09Minor bug fixes, code, doc improvements.David Aspinall
1998-10-08Changed binding for C-c RETDavid Aspinall
1998-10-07Added more documentation.David Aspinall
1998-10-05da> BTW, the menus have disappeared!Thomas Kleymann
1998-10-02Moved menu definition back into proof-config-done.David Aspinall
1998-10-02added LEGO support for proof-goal-command and proof-save-commandThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
1998-09-23Changed customization group and removed nagging not-busy error messageDavid Aspinall
1998-09-22Cleaned up and improved some code, added docstrings, FIXMEs.David Aspinall
1998-09-17Fix in proof-shell-handle-outputDavid Aspinall
1998-09-17fixed a bug in proof-shell-filter and proof-shell-handle-ouputThomas Kleymann
1998-09-16Moved proof-info-dir into proof-site and defcustom'd it.David Aspinall
1998-09-16fixed implementation fo proof-find-next-terminator;Thomas Kleymann
1998-09-16Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...David Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-14Added docs and proof-restart-script-same-process (may need work)David Aspinall
1998-09-10-Added documentationThomas Kleymann
1998-09-09Made proof-assert-next-command move forward by default.David Aspinall
1998-09-09Added Id to headers.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:37:43 +0000