aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
1998-10-15Set version tag for new release.David Aspinall
1998-10-14Set version tag for release.David Aspinall
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-13Set version tag for release.David Aspinall
1998-10-12Fixed bug in proof-toolbar-qed.David Aspinall
1998-10-12Fixed broken taggingDavid Aspinall
1998-10-12Added todo for proof-issue-goal, proof-issue-save.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
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-12Removed toolbar enablers. XEmacs isnt ready for them yet.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-12Made toolbar functions leave point alone, mostly.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-12Doc stringsDavid Aspinall
1998-10-12Toolbar featurep. Separate Internals menu. Doc strings.David Aspinall
1998-10-12Removed proof-internal cus grp from proof group.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
Made new proof-config customization group for variables supposed to be configured by prover specific settings (as opposed to user options, which are set by users). This adds type information and useful facility for testing new instances of PG. Similarly added proof-shell customization group. Removed (what I assume to be) defunct variables proof-post-shell-exit-hook, proof-shell-echo-input. Made deflocal do 'setq-default', not 'setq'. (I consider this a bugfix, but no calls to deflocal use other than nil value anyway, so this bug had no effect.) Added code for displaying splash screen. Attempted fix for proof-issue-new-command when process inactive. Improved functions proof-script-new-command-advance, proof-script-next-command-advance, called from proof-assert-next-command.
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
icons. Disabled toolbar for console working.
1998-10-07Munged name of customization variables so that menus display nicely.David Aspinall
Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much).
1998-10-05da> BTW, the menus have disappeared!Thomas Kleymann
They are back courtesy of reintroducing an easy-menu-add call.
1998-10-02Moved menu definition back into proof-config-done.David Aspinall
1998-10-02Added $ to coq automode regexpDavid 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 documentation for user-level functions.David Aspinall
1998-10-01Added doc stringsDavid Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
Removed last of "not authorized for this documentation" nonsense. Replaced constant string "COMMENT" by proof-no-command. Begun work on new functions: proof-{next,previous}-matching-command. Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
1998-09-23Changed customization group nameDavid Aspinall
1998-09-23Changed customization group and removed nagging not-busy error messageDavid Aspinall
1998-09-23Removed "myass" test entry.David Aspinall
1998-09-23Made configuration more sophisticated:David Aspinall
. proof-general-supported-assistants is master table of names & autoloads. . proof-home is calculated automatically from load-file-name
1998-09-22Cleaned up and improved some code, added docstrings, FIXMEs.David Aspinall
Added proof-issue-goal and proof-goal-command. Rearranged to get ready for splitting into proof-script and proof-shell. Added proof-one-command-per-line user option.
1998-09-22Added new buttons, changed icons.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-16Bug in regexp for isa auto-mode-alist.David Aspinall
1998-09-16Moved proof-info-dir into proof-site and defcustom'd it.David Aspinall
Set the Info directory list there rather than after proof.el has loaded. Add the proof-info-dir onto the end of Info-default-directory-list, not the start.
1998-09-16fixed implementation fo proof-find-next-terminator;Thomas Kleymann
it can now be used even when there is no corresponding proof process
1998-09-16Isabelle Proof General loads for .thy as well as .ML files.David Aspinall
1998-09-16Improved doc. Removed proof-mode-version-string.\nMade ↵David Aspinall
proof-prog-name-ask-p defcustom
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
These are no longer displayed in the *GOALS* buffer.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 11:40:18 +0000