aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-28x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Makarius Wenzel
2000-12-23tuned font lock;Makarius Wenzel
2000-12-22Set version tag for new release.David Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22Removed accidently committed debugging codeDavid Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-21'goalsave -> 'proofDavid Aspinall
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-21Updated.David Aspinall
2000-12-21Set version tag for new release.David Aspinall
2000-12-21.phox -> .phxDavid Aspinall
2000-12-21Renamed fileDavid Aspinall
2000-12-20Updated.David Aspinall
2000-12-20Fix magicDavid 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-20Mentioned important changesDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20Experimental support for multiple file handling.David Aspinall
2000-12-20Document proof-shell-last-output and friendsDavid Aspinall
2000-12-20Renamed fileDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:05:15 +0000