aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-12-21
* .phox -> .phxGravatar David Aspinall2000-12-21
* Renamed fileGravatar David Aspinall2000-12-21
* Updated.Gravatar David Aspinall2000-12-20
* Fix magicGravatar David Aspinall2000-12-20
* Fix comment to not break texi magicGravatar David Aspinall2000-12-20
* More broken escapes.Gravatar David Aspinall2000-12-20
* Set version tag for new release.Gravatar David Aspinall2000-12-20
* Mentioned important changesGravatar David Aspinall2000-12-20
* goalsave -> proofGravatar David Aspinall2000-12-20
* goalsave -> proofGravatar David Aspinall2000-12-20
* Experimental support for multiple file handling.Gravatar David Aspinall2000-12-20
* Document proof-shell-last-output and friendsGravatar David Aspinall2000-12-20
* Renamed fileGravatar David Aspinall2000-12-20
* Testing line for PGIP.Gravatar David Aspinall2000-12-20
* Improvements to span handling, including new variables: proof-shell-last-outp...Gravatar David Aspinall2000-12-20
* Improvements to span handlingGravatar David Aspinall2000-12-20
* *** empty log message ***Gravatar Christophe Raffalli2000-12-19
* Updated.Gravatar David Aspinall2000-12-15
* rename af2 -> PhoxGravatar David Aspinall2000-12-15
* Set version tag for new release.Gravatar David Aspinall2000-12-15
* tuned some (rarely used) symbols;Gravatar Makarius Wenzel2000-12-15
* Remove some user-level functions to pg-user.Gravatar David Aspinall2000-12-14
* Add proof-disappearing-proofsGravatar David Aspinall2000-12-14
* Generalise proof-format-filenameGravatar David Aspinall2000-12-14
* 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
* *** empty log message ***Gravatar David Aspinall2000-12-14
* Updated to use Require commandsGravatar David Aspinall2000-12-14
* Updated.Gravatar David Aspinall2000-12-07
* Updated.Gravatar David Aspinall2000-12-07
* Updated.Gravatar David Aspinall2000-12-07
* Updated.Gravatar David Aspinall2000-12-07
* Typo.Gravatar David Aspinall2000-12-07
* Name change af2 -> phoxGravatar David Aspinall2000-12-07
* Beginnings of pgip processingGravatar David Aspinall2000-12-07
* Add provideGravatar David Aspinall2000-12-07
* Updated.Gravatar 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
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-12-06
* isabelle-command-line: getenv "ISABELLE_OPTIONS";Gravatar Makarius Wenzel2000-12-01
* added -m option;Gravatar Makarius Wenzel2000-12-01
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* Updated.Gravatar David Aspinall2000-12-01
* Updated.Gravatar David Aspinall2000-12-01
* Updated.Gravatar David Aspinall2000-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-21 20:07:00 +0000