aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Collapse)AuthorAge
* Removed blurry distinction between block-comment and comment in FSF's ↵Gravatar David Aspinall2000-09-21
| | | | buffer-syntactic-context
* 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 ↵Gravatar Christophe Raffalli2000-09-18
| | | | string-match instead).
* 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
| | | | font-lock-preprocessor-face in FSF Emacs.
* 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 ↵Gravatar Christophe Raffalli2000-09-15
| | | | proof-xxx-with-hole-regexp
* 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 ↵Gravatar David Aspinall2000-09-13
| | | | proof-config to allow easier configuration.
* 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 ↵Gravatar David Aspinall2000-09-11
| | | | safe default of empty string (now will have error msgs from filter)
* 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-06-13 17:25:13 +0000