aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-20Testing line for PGIP.David Aspinall
2000-12-20Improvements to span handling, including new variables: proof-shell-last-outp...David Aspinall
2000-12-20Improvements to span handlingDavid Aspinall
2000-12-19*** empty log message ***Christophe Raffalli
2000-12-15Updated.David Aspinall
2000-12-15rename af2 -> PhoxDavid Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-15tuned some (rarely used) symbols;Makarius Wenzel
2000-12-14Remove some user-level functions to pg-user.David Aspinall
2000-12-14Add proof-disappearing-proofsDavid Aspinall
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 proof-disappearing-proo...David Aspinall
2000-12-14Add visible enable commandDavid Aspinall
2000-12-14Add span-object, mapcar-spansDavid Aspinall
2000-12-14*** empty log message ***David Aspinall
2000-12-14Updated to use Require commandsDavid Aspinall
2000-12-07Updated.David Aspinall
2000-12-07Updated.David Aspinall
2000-12-07Updated.David Aspinall
2000-12-07Updated.David Aspinall
2000-12-07Typo.David Aspinall
2000-12-07Name change af2 -> phoxDavid Aspinall
2000-12-07Beginnings of pgip processingDavid Aspinall
2000-12-07Add provideDavid Aspinall
2000-12-07Updated.David Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-06fixed format strings for (message ...);Makarius Wenzel
2000-12-06tuned font-lock-keywords;Makarius Wenzel
2000-12-01isabelle-command-line: getenv "ISABELLE_OPTIONS";Makarius Wenzel
2000-12-01added -m option;Makarius Wenzel
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01Updated.David Aspinall
2000-12-01Updated.David Aspinall
2000-12-01Updated.David Aspinall
2000-12-01Change info globs to work with mandrakeDavid Aspinall
2000-12-01Updated.David Aspinall
2000-12-01Set version tag for new release.David Aspinall
2000-12-013.2 -> 3.3preDavid Aspinall
2000-12-01add rewrite listChristophe Raffalli
2000-12-01*** empty log message ***Christophe Raffalli
2000-11-27fixed spelling;Makarius Wenzel
2000-11-24Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc...Pierre Courtieu
2000-11-24Add a little change to coq-find-and-forget to work betterPierre Courtieu
2000-11-24Added proof-shell-match-pgip-cmdDavid Aspinall
2000-11-24Update branchDavid Aspinall
2000-11-24Added pg-xml-parse-string function.David Aspinall
2000-11-24Functions to process pgip commands.David Aspinall
2000-11-23I am starting to make PG coqV7 compatible, I think the best is toPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:05:21 +0000