aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
...
* bug fixing in matching theorem dependenciesGravatar David Aspinall2000-07-19
* functions for manipulating theorem dependenciesGravatar David Aspinall2000-07-19
* changes to add theorem dependencies recording in spansGravatar David Aspinall2000-07-19
* Set version tag for new release.Gravatar David Aspinall2000-07-16
* Set version tag for new release.Gravatar David Aspinall2000-07-13
* Set version tag for new release.Gravatar David Aspinall2000-07-12
* Update autoloads.Gravatar David Aspinall2000-07-12
* Make proof-splash-message autoload.Gravatar David Aspinall2000-07-12
* Set version tag for new release.Gravatar David Aspinall2000-07-05
* Set version tag for new release.Gravatar David Aspinall2000-07-04
* Set version tag for new release.Gravatar David Aspinall2000-07-03
* Set version tag for new release.Gravatar David Aspinall2000-06-29
* Set version tag for new release.Gravatar David Aspinall2000-06-27
* Minor tweak.Gravatar David Aspinall2000-06-27
* Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n...Gravatar David Aspinall2000-06-26
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Remove modeline from extra frames (in XEmacs).Gravatar David Aspinall2000-06-22
* Added back defconsts for face names needed for FSF Emacs.Gravatar David Aspinall2000-06-22
* Set version tag for new release.Gravatar David Aspinall2000-06-19
* proof-script-find-next-entity: support list of match items;Gravatar Makarius Wenzel2000-06-16
* proof-script-next-entity-regexps: admit list of MATCHNOS;Gravatar Makarius Wenzel2000-06-16
* Set version tag for new release.Gravatar David Aspinall2000-06-16
* Added pgcustom x-symbol-language to allow different language name than proof ...Gravatar David Aspinall2000-06-16
* Support toolbar in gtk-xemacsGravatar David Aspinall2000-06-15
* More comments at top of fileGravatar David Aspinall2000-06-15
* Improved some docstrings.Gravatar David Aspinall2000-06-15
* Strange ? got in by accident.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* CommentGravatar David Aspinall2000-06-09
* Remove toolbar and menubar from windows in multiple frame mode.Gravatar David Aspinall2000-06-09
* rewrote code from scratch: faster, easier to configure; now enabled by default;Gravatar Makarius Wenzel2000-06-08
* settings for new indentation setup;Gravatar Makarius Wenzel2000-06-08
* added proof-looking-at-safe, proof-looking-at-syntactic-context;Gravatar Makarius Wenzel2000-06-08
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* Added special hack for Isar to include proof-terminal-char in sent string.Gravatar David Aspinall2000-06-06
* fixed proof-anchor-regexp: use \` instead of ^;Gravatar Makarius Wenzel2000-06-05
* Added miscellaneous commands section, with proof-display-some-buffersGravatar David Aspinall2000-06-05
* proof-clean-buffer: clear next error flag if buffer is response.Gravatar David Aspinall2000-06-05
* Tweaked some docstrings.Gravatar David Aspinall2000-06-05
* Added proof-next-error.Gravatar David Aspinall2000-06-05
* Updated to add proof-next-error.Gravatar David Aspinall2000-06-05
* proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!Gravatar Makarius Wenzel2000-06-04
* proof-re-search-forward/backward: observe proof-case-fold-search;Gravatar Makarius Wenzel2000-06-04
* proof-segment-up-to-cmdstart: exclude leading blanks from command string;Gravatar Makarius Wenzel2000-06-04
* improved proof-segment-up-to-cmdstart: handle overlap of commandGravatar Makarius Wenzel2000-06-03
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* UpdatedGravatar David Aspinall2000-06-01
* Added autoloadGravatar David Aspinall2000-06-01
* Allow two strings for boolean settings to handle non-uniformity in CoqGravatar David Aspinall2000-06-01
* Use proof-running-on-XEmacs variable.Gravatar David Aspinall2000-06-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 11:53:38 +0000