aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Parse comments also in proof-script-generic-parse-sexpGravatar David Aspinall2000-09-29
* Non existent get-window-buffer -> get-buffer-window (how did that get through?)Gravatar David Aspinall2000-09-29
* Default for proof-comment-end that doesn't cause looping in searching for com...Gravatar David Aspinall2000-09-29
* Fix comment.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...Gravatar David Aspinall2000-09-28
* Added fly past comments to quick opts menu when new parsing mechanism active.Gravatar David Aspinall2000-09-28
* Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...Gravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-27
* Fix bug email address to bugs@proofgeneral.orgGravatar David Aspinall2000-09-27
* Added ACL2Gravatar David Aspinall2000-09-27
* Added yet another new parsing mechanism, bit more rational this time.Gravatar David Aspinall2000-09-27
* Set version tag for new release.Gravatar David Aspinall2000-09-26
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Set version tag for new release.Gravatar David Aspinall2000-09-25
* comment: avoid unbalanced quotes;Gravatar Makarius Wenzel2000-09-25
* Set version tag for new release.Gravatar David Aspinall2000-09-23
* proof-display-some-buffers moves point to end of output in response buffer.Gravatar David Aspinall2000-09-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 12:08:41 +0000