aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
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 n...David Aspinall
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
2000-06-19Set version tag for new release.David Aspinall
2000-06-16proof-script-find-next-entity: support list of match items;Makarius Wenzel
2000-06-16proof-script-next-entity-regexps: admit list of MATCHNOS;Makarius Wenzel
2000-06-16Set version tag for new release.David Aspinall
2000-06-16Added pgcustom x-symbol-language to allow different language name than proof ...David Aspinall
2000-06-15Support toolbar in gtk-xemacsDavid Aspinall
2000-06-15More comments at top of fileDavid Aspinall
2000-06-15Improved some docstrings.David Aspinall
2000-06-09Strange ? got in by accident.David Aspinall
2000-06-09Set version tag for new release.David Aspinall
2000-06-09CommentDavid Aspinall
2000-06-09Remove toolbar and menubar from windows in multiple frame mode.David Aspinall
2000-06-08rewrote code from scratch: faster, easier to configure; now enabled by default;Makarius Wenzel
2000-06-08settings for new indentation setup;Makarius Wenzel
2000-06-08added proof-looking-at-safe, proof-looking-at-syntactic-context;Makarius Wenzel
2000-06-06Set version tag for new release.David Aspinall
2000-06-06Added special hack for Isar to include proof-terminal-char in sent string.David Aspinall
2000-06-05fixed proof-anchor-regexp: use \` instead of ^;Makarius Wenzel
2000-06-05Added miscellaneous commands section, with proof-display-some-buffersDavid Aspinall
2000-06-05proof-clean-buffer: clear next error flag if buffer is response.David Aspinall
2000-06-05Tweaked some docstrings.David Aspinall
2000-06-05Added proof-next-error.David Aspinall
2000-06-05Updated to add proof-next-error.David Aspinall
2000-06-04proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:59:24 +0000