aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* proof-display-some-buffers improved: toggles between goals and response inGravatar David Aspinall2000-09-23
* Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...Gravatar David Aspinall2000-09-23
* Always activate bug fix -- this file only loaded for FSF Emacs.Gravatar David Aspinall2000-09-23
* Make toolbar enablers work appropriately from non-scripting buffersGravatar David Aspinall2000-09-23
* Call (proof-toolbar-setup) to add toolbar to goals and response bufferGravatar David Aspinall2000-09-23
* Remove require on proof-dependsGravatar David Aspinall2000-09-23
* Update commentsGravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-23
* Set version tag for new release.Gravatar David Aspinall2000-09-21
* Newlines.Gravatar David Aspinall2000-09-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 04:52:38 +0000