aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2000-09-13Order changeDavid Aspinall
2000-09-13Removed proof-toolbar-entries-default and <PA>-toolbar-entries.David Aspinall
2000-09-13Remove ambitious promise to implement proper generic-find-and-forget.David Aspinall
2000-09-13Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵David Aspinall
proof-config to allow easier configuration.
2000-09-12Set version tag for new release.David Aspinall
2000-09-12Remove shell important setting from script ones.David Aspinall
2000-09-12Add sanity check on important settings for proof shell (underway)David Aspinall
2000-09-12Added entry for Af2David Aspinall
2000-09-12Docs for proof-shell-eager-annotation-start stuffDavid Aspinall
2000-09-11Set version tag for new release.David Aspinall
2000-09-11Added proof-shell-annotated-prompt-regexp to important settings, removed ↵David Aspinall
safe default of empty string (now will have error msgs from filter)
2000-09-08ADded proof-locate-executable.David Aspinall
2000-09-08Fix obscure problem with proof-segment-upto-cmdstart with buggy input.David Aspinall
2000-09-08RearrangementDavid Aspinall
2000-08-29Set version tag for new release.David Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-28Added proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28Added twelf and experimental support note.David Aspinall
2000-08-28FIXME note added, missing docstring from macro fn def.David Aspinall
2000-08-14Added Fiona's changes, cleaned up a little bit with header and footerDavid Aspinall
2000-08-14Added split string on theorem dependency code, to make list of dependents.David Aspinall
2000-08-14Added Fiona's changes, cleaned up a little bitDavid Aspinall
2000-08-09Set version tag for new release.David Aspinall
2000-08-03handle comment inside a command (patch by da);Makarius Wenzel
2000-07-26Set version tag for new release.David Aspinall
2000-07-20proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Makarius Wenzel
2000-07-20fixed comment;Makarius Wenzel
2000-07-19bug fixing in matching theorem dependenciesDavid Aspinall
2000-07-19functions for manipulating theorem dependenciesDavid Aspinall
2000-07-19changes to add theorem dependencies recording in spansDavid Aspinall
2000-07-16Set version tag for new release.David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-12Update autoloads.David Aspinall
2000-07-12Make proof-splash-message autoload.David Aspinall
2000-07-05Set version tag for new release.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
2000-07-03Set version tag for new release.David Aspinall
2000-06-29Set version tag for new release.David Aspinall
2000-06-27Set version tag for new release.David Aspinall
2000-06-27Minor tweak.David Aspinall
2000-06-26Fix mark buffer atomic problem (caused multiple file oddity with Isar), for ↵David Aspinall
new parsing functions.
2000-06-22Set version tag for new release.David Aspinall
2000-06-22Remove modeline from extra frames (in XEmacs).David Aspinall
2000-06-22Added back defconsts for face names needed for FSF Emacs.David Aspinall
Yet another annoyance with FSF.
2000-06-19Set version tag for new release.David Aspinall
2000-06-16proof-script-find-next-entity: support list of match items;Makarius Wenzel
replaced spurious re-search-forward by proof-re-search-forward; proof-script-important-settings: commented out proof-goal-with-hole-regexp, proof-save-with-hole-regexp;
2000-06-16proof-script-next-entity-regexps: admit list of MATCHNOS;Makarius Wenzel
2000-06-16Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-04 14:14:48 +0000