aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-09-29Set version tag for new release.David Aspinall
2000-09-29Parse comments also in proof-script-generic-parse-sexpDavid Aspinall
2000-09-29Non existent get-window-buffer -> get-buffer-window (how did that get through?)David Aspinall
2000-09-29Default for proof-comment-end that doesn't cause looping in searching for com...David Aspinall
2000-09-28Fix comment.David Aspinall
2000-09-28Set version tag for new release.David Aspinall
2000-09-28Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...David Aspinall
2000-09-28Added fly past comments to quick opts menu when new parsing mechanism active.David Aspinall
2000-09-28Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...David Aspinall
2000-09-28Added proof-shell-strip-crs-from-input.David Aspinall
2000-09-27Set version tag for new release.David Aspinall
2000-09-27Fix bug email address to bugs@proofgeneral.orgDavid Aspinall
2000-09-27Added ACL2David Aspinall
2000-09-27Added yet another new parsing mechanism, bit more rational this time.David Aspinall
2000-09-26Set version tag for new release.David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-25Set version tag for new release.David Aspinall
2000-09-25comment: avoid unbalanced quotes;Makarius Wenzel
2000-09-23Set version tag for new release.David Aspinall
2000-09-23proof-display-some-buffers moves point to end of output in response buffer.David Aspinall
2000-09-23proof-display-some-buffers improved: toggles between goals and response inDavid Aspinall
2000-09-23Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...David Aspinall
2000-09-23Always activate bug fix -- this file only loaded for FSF Emacs.David Aspinall
2000-09-23Make toolbar enablers work appropriately from non-scripting buffersDavid Aspinall
2000-09-23Call (proof-toolbar-setup) to add toolbar to goals and response bufferDavid Aspinall
2000-09-23Remove require on proof-dependsDavid Aspinall
2000-09-23Update commentsDavid Aspinall
2000-09-23UpdatedDavid Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-21Newlines.David Aspinall
2000-09-21Removed blurry distinction between block-comment and comment in FSF's buffer-...David Aspinall
2000-09-20Set version tag for new release.David Aspinall
2000-09-20CommentsDavid Aspinall
2000-09-20Disable toolbar enablers on win32.David Aspinall
2000-09-20dirty bug fix in next-span to avoid loops with FSF EmacsChristophe Raffalli
2000-09-18changed proof-remove-comment to avoid using string-search (using string-match...Christophe Raffalli
2000-09-18Get rid of proof-segment-up-to-old.David Aspinall
2000-09-18Added bug fix section and patch for undefinedDavid Aspinall
2000-09-18Emulate buffer-syntactic-context on FSF EmacsDavid Aspinall
2000-09-18Set version tag for new release.David Aspinall
2000-09-15added proof-retract-current-goalChristophe Raffalli
2000-09-15added proper call to proof-remove-comment before matching with proof-xxx-with...Christophe Raffalli
2000-09-15removed some debugging messages I forgotChristophe Raffalli
2000-09-15added function string-search and proof-remove-commentChristophe Raffalli
2000-09-14Set version tag for new release.David Aspinall
2000-09-14Remove FIXME.David Aspinall
2000-09-14Improved docstrings, comments.David Aspinall
2000-09-13capitalize xs-lang-name;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:42:33 +0000