| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-12-21 | .phox -> .phx | David Aspinall |
| 2000-12-21 | Renamed file | David Aspinall |
| 2000-12-20 | Updated. | David Aspinall |
| 2000-12-20 | Fix magic | David Aspinall |
| 2000-12-20 | Fix comment to not break texi magic | David Aspinall |
| 2000-12-20 | More broken escapes. | David Aspinall |
| 2000-12-20 | Set version tag for new release. | David Aspinall |
| 2000-12-20 | Mentioned important changes | David Aspinall |
| 2000-12-20 | goalsave -> proof | David Aspinall |
| 2000-12-20 | goalsave -> proof | David Aspinall |
| 2000-12-20 | Experimental support for multiple file handling. | David Aspinall |
| 2000-12-20 | Document proof-shell-last-output and friends | David Aspinall |
| 2000-12-20 | Renamed file | David Aspinall |
| 2000-12-20 | Testing line for PGIP. | David Aspinall |
| 2000-12-20 | Improvements to span handling, including new variables: proof-shell-last-outp... | David Aspinall |
| 2000-12-20 | Improvements to span handling | David Aspinall |
| 2000-12-19 | *** empty log message *** | Christophe Raffalli |
| 2000-12-15 | Updated. | David Aspinall |
| 2000-12-15 | rename af2 -> Phox | David Aspinall |
| 2000-12-15 | Set version tag for new release. | David Aspinall |
| 2000-12-15 | tuned some (rarely used) symbols; | Makarius Wenzel |
| 2000-12-14 | Remove some user-level functions to pg-user. | David Aspinall |
| 2000-12-14 | Add proof-disappearing-proofs | David Aspinall |
| 2000-12-14 | Generalise proof-format-filename | David Aspinall |
| 2000-12-14 | Factor out some material from proof-script.el | David Aspinall |
| 2000-12-14 | Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo... | David Aspinall |
| 2000-12-14 | Add visible enable command | David Aspinall |
| 2000-12-14 | Add span-object, mapcar-spans | David Aspinall |
| 2000-12-14 | *** empty log message *** | David Aspinall |
| 2000-12-14 | Updated to use Require commands | David Aspinall |
| 2000-12-07 | Updated. | David Aspinall |
| 2000-12-07 | Updated. | David Aspinall |
| 2000-12-07 | Updated. | David Aspinall |
| 2000-12-07 | Updated. | David Aspinall |
| 2000-12-07 | Typo. | David Aspinall |
| 2000-12-07 | Name change af2 -> phox | David Aspinall |
| 2000-12-07 | Beginnings of pgip processing | David Aspinall |
| 2000-12-07 | Add provide | David Aspinall |
| 2000-12-07 | Updated. | David Aspinall |
| 2000-12-07 | Set version tag for new release. | David Aspinall |
| 2000-12-06 | fixed format strings for (message ...); | Makarius Wenzel |
| 2000-12-06 | tuned font-lock-keywords; | Makarius Wenzel |
| 2000-12-01 | isabelle-command-line: getenv "ISABELLE_OPTIONS"; | Makarius Wenzel |
| 2000-12-01 | added -m option; | Makarius Wenzel |
| 2000-12-01 | af2 is now called PhoX | Christophe Raffalli |
| 2000-12-01 | af2 is now called PhoX | Christophe Raffalli |
| 2000-12-01 | Updated. | David Aspinall |
| 2000-12-01 | Updated. | David Aspinall |
| 2000-12-01 | Updated. | David Aspinall |
| 2000-12-01 | Change info globs to work with mandrake | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |