| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2001-05-01 | Set version tag for new release. | David Aspinall | |
| 2001-03-20 | Set version tag for new release. | David Aspinall | |
| 2001-03-20 | Remove temporary comments | David Aspinall | |
| 2001-03-20 | Fix docstring | David Aspinall | |
| 2001-02-20 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-07 | Set version tag for new release. | David Aspinall | |
| 2001-02-06 | Set version tag for new release. | David Aspinall | |
| 2001-01-12 | Set version tag for new release. | David Aspinall | |
| 2001-01-11 | fixed format strings in message, error, etc. | Makarius Wenzel | |
| 2001-01-05 | Set version tag for new release. | David Aspinall | |
| 2000-12-22 | Set version tag for new release. | David Aspinall | |
| 2000-12-22 | Removed accidently committed debugging code | David Aspinall | |
| 2000-12-22 | *** empty log message *** | Christophe Raffalli | |
| 2000-12-21 | Set version tag for new release. | 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 | goalsave -> proof | David Aspinall | |
| 2000-12-20 | Testing line for PGIP. | David Aspinall | |
| 2000-12-20 | Improvements to span handling, including new variables: ↵ | David Aspinall | |
| proof-shell-last-output-kind and friends | |||
| 2000-12-20 | Improvements to span handling | David Aspinall | |
| 2000-12-15 | Set version tag for new release. | David Aspinall | |
| 2000-12-14 | Remove some user-level functions to pg-user. | David Aspinall | |
| Fix bug in proof-goto-end-of-locked. | |||
| 2000-12-14 | Add proof-disappearing-proofs | David Aspinall | |
| Make proofs visible command pg-insert-output-as-comment-fn hook Alter docstrings for functions using proof-format-filename | |||
| 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 ↵ | David Aspinall | |
| proof-disappearing-proofs-toggle | |||
| 2000-12-14 | Add visible enable command | David Aspinall | |
| 2000-12-14 | Add span-object, mapcar-spans | David Aspinall | |
| 2000-12-07 | Typo. | David Aspinall | |
| 2000-12-07 | Beginnings of pgip processing | David Aspinall | |
| 2000-12-07 | Add provide | 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-01 | af2 is now called PhoX | Christophe Raffalli | |
| 2000-12-01 | Set version tag for new release. | David Aspinall | |
| 2000-11-24 | Added proof-shell-match-pgip-cmd | David Aspinall | |
| 2000-11-24 | Added pg-xml-parse-string function. | David Aspinall | |
| 2000-11-24 | Functions to process pgip commands. | David Aspinall | |
| 2000-11-17 | Set version tag for new release. | David Aspinall | |
| 2000-11-15 | Set 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-19 | Set version tag for new release. | David Aspinall | |
| 2000-10-18 | Set version tag for new release. | David Aspinall | |
| 2000-10-18 | Set version tag for new release. | David Aspinall | |
| 2000-10-03 | Set version tag for new release. | David Aspinall | |
| 2000-10-02 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |