aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Factor out some material from proof-script.elGravatar David Aspinall2000-12-14
* Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...Gravatar David Aspinall2000-12-14
* Add visible enable commandGravatar David Aspinall2000-12-14
* Add span-object, mapcar-spansGravatar David Aspinall2000-12-14
* Typo.Gravatar David Aspinall2000-12-07
* Beginnings of pgip processingGravatar David Aspinall2000-12-07
* Add provideGravatar David Aspinall2000-12-07
* Set version tag for new release.Gravatar David Aspinall2000-12-07
* fixed format strings for (message ...);Gravatar Makarius Wenzel2000-12-06
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-12-01
* Added proof-shell-match-pgip-cmdGravatar David Aspinall2000-11-24
* Added pg-xml-parse-string function.Gravatar David Aspinall2000-11-24
* Functions to process pgip commands.Gravatar David Aspinall2000-11-24
* Set version tag for new release.Gravatar David Aspinall2000-11-17
* Set version tag for new release.Gravatar David Aspinall2000-11-15
* *** empty log message ***Gravatar Christophe Raffalli2000-10-30
* *** empty log message ***Gravatar Christophe Raffalli2000-10-27
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* Set version tag for new release.Gravatar David Aspinall2000-10-19
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-03
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-09-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 08:55:39 +0000