aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Removed blurry distinction between block-comment and comment in FSF's buffer-...Gravatar David Aspinall2000-09-21
* Set version tag for new release.Gravatar David Aspinall2000-09-20
* CommentsGravatar David Aspinall2000-09-20
* Disable toolbar enablers on win32.Gravatar David Aspinall2000-09-20
* dirty bug fix in next-span to avoid loops with FSF EmacsGravatar Christophe Raffalli2000-09-20
* changed proof-remove-comment to avoid using string-search (using string-match...Gravatar Christophe Raffalli2000-09-18
* Get rid of proof-segment-up-to-old.Gravatar David Aspinall2000-09-18
* Added bug fix section and patch for undefinedGravatar David Aspinall2000-09-18
* Emulate buffer-syntactic-context on FSF EmacsGravatar David Aspinall2000-09-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 17:48:32 +0000