aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Added proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Added twelf and experimental support note.Gravatar David Aspinall2000-08-28
* FIXME note added, missing docstring from macro fn def.Gravatar David Aspinall2000-08-28
* Added Fiona's changes, cleaned up a little bit with header and footerGravatar David Aspinall2000-08-14
* Added split string on theorem dependency code, to make list of dependents.Gravatar David Aspinall2000-08-14
* Added Fiona's changes, cleaned up a little bitGravatar David Aspinall2000-08-14
* Set version tag for new release.Gravatar David Aspinall2000-08-09
* handle comment inside a command (patch by da);Gravatar Makarius Wenzel2000-08-03
* Set version tag for new release.Gravatar David Aspinall2000-07-26
* proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Gravatar Makarius Wenzel2000-07-20
* fixed comment;Gravatar Makarius Wenzel2000-07-20
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 15:05:22 +0000