aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2000-12-22Set version tag for new release.David Aspinall
2000-12-22Removed accidently committed debugging codeDavid Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21Set version tag for new release.David Aspinall
2000-12-20Fix comment to not break texi magicDavid Aspinall
2000-12-20More broken escapes.David Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20Testing line for PGIP.David Aspinall
2000-12-20Improvements to span handling, including new variables: ↵David Aspinall
proof-shell-last-output-kind and friends
2000-12-20Improvements to span handlingDavid Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-14Remove some user-level functions to pg-user.David Aspinall
Fix bug in proof-goto-end-of-locked.
2000-12-14Add proof-disappearing-proofsDavid Aspinall
Make proofs visible command pg-insert-output-as-comment-fn hook Alter docstrings for functions using proof-format-filename
2000-12-14Generalise proof-format-filenameDavid Aspinall
2000-12-14Factor out some material from proof-script.elDavid Aspinall
2000-12-14Add bindings for pg-insert-last-output-as-comment and ↵David Aspinall
proof-disappearing-proofs-toggle
2000-12-14Add visible enable commandDavid Aspinall
2000-12-14Add span-object, mapcar-spansDavid Aspinall
2000-12-07Typo.David Aspinall
2000-12-07Beginnings of pgip processingDavid Aspinall
2000-12-07Add provideDavid Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-06fixed format strings for (message ...);Makarius Wenzel
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01Set version tag for new release.David Aspinall
2000-11-24Added proof-shell-match-pgip-cmdDavid Aspinall
2000-11-24Added pg-xml-parse-string function.David Aspinall
2000-11-24Functions to process pgip commands.David Aspinall
2000-11-17Set version tag for new release.David Aspinall
2000-11-15Set version tag for new release.David Aspinall
2000-10-30*** empty log message ***Christophe Raffalli
2000-10-27*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-19Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-03Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
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 ↵David Aspinall
comment end.
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 ↵David Aspinall
proof-script-fly-past-comments
2000-09-28Added fly past comments to quick opts menu when new parsing mechanism active.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 00:49:48 +0000