aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-09-18
* added proof-retract-current-goalGravatar Christophe Raffalli2000-09-15
* added proper call to proof-remove-comment before matching with proof-xxx-with...Gravatar Christophe Raffalli2000-09-15
* removed some debugging messages I forgotGravatar Christophe Raffalli2000-09-15
* added function string-search and proof-remove-commentGravatar Christophe Raffalli2000-09-15
* Set version tag for new release.Gravatar David Aspinall2000-09-14
* Remove FIXME.Gravatar David Aspinall2000-09-14
* Improved docstrings, comments.Gravatar David Aspinall2000-09-14
* capitalize xs-lang-name;Gravatar Makarius Wenzel2000-09-13
* Set version tag for new release.Gravatar David Aspinall2000-09-13
* Docstring changes for printed docs.Gravatar David Aspinall2000-09-13
* Order changeGravatar David Aspinall2000-09-13
* Removed proof-toolbar-entries-default and <PA>-toolbar-entries.Gravatar David Aspinall2000-09-13
* Remove ambitious promise to implement proper generic-find-and-forget.Gravatar David Aspinall2000-09-13
* Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...Gravatar David Aspinall2000-09-13
* Set version tag for new release.Gravatar David Aspinall2000-09-12
* Remove shell important setting from script ones.Gravatar David Aspinall2000-09-12
* Add sanity check on important settings for proof shell (underway)Gravatar David Aspinall2000-09-12
* Added entry for Af2Gravatar David Aspinall2000-09-12
* Docs for proof-shell-eager-annotation-start stuffGravatar David Aspinall2000-09-12
* Set version tag for new release.Gravatar David Aspinall2000-09-11
* Added proof-shell-annotated-prompt-regexp to important settings, removed safe...Gravatar David Aspinall2000-09-11
* ADded proof-locate-executable.Gravatar David Aspinall2000-09-08
* Fix obscure problem with proof-segment-upto-cmdstart with buggy input.Gravatar David Aspinall2000-09-08
* RearrangementGravatar David Aspinall2000-09-08
* Set version tag for new release.Gravatar David Aspinall2000-08-29
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
* Set version tag for new release.Gravatar David Aspinall2000-08-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 17:57:40 +0000