| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-12-01 | Updated. | David Aspinall | |
| 2000-12-01 | Set version tag for new release. | David Aspinall | |
| 2000-12-01 | 3.2 -> 3.3pre | David Aspinall | |
| 2000-12-01 | add rewrite list | Christophe Raffalli | |
| 2000-12-01 | *** empty log message *** | Christophe Raffalli | |
| 2000-11-27 | fixed spelling; | Makarius Wenzel | |
| 2000-11-24 | Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc... | Pierre Courtieu | |
| 2000-11-24 | Add a little change to coq-find-and-forget to work better | Pierre Courtieu | |
| 2000-11-24 | Added proof-shell-match-pgip-cmd | David Aspinall | |
| 2000-11-24 | Update branch | 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-23 | I am starting to make PG coqV7 compatible, I think the best is to | Pierre Courtieu | |
| allow both V6 and V7 for a while. Theoretically, incompatibilities will not be numerous. | |||
| 2000-11-22 | disable trace option; | Makarius Wenzel | |
| 2000-11-21 | converted from sh back to bash; | Makarius Wenzel | |
| use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names; | |||
| 2000-11-17 | Set version tag for new release. | David Aspinall | |
| 2000-11-15 | Set version tag for new release. | David Aspinall | |
| 2000-11-15 | *** empty log message *** | Christophe Raffalli | |
| 2000-11-13 | *** empty log message *** | Christophe Raffalli | |
| 2000-11-10 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-31 | tuned isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2000-10-30 | tuned font-lock-keywords; | Makarius Wenzel | |
| 2000-10-30 | replaced \<macron> by \<inverse> (better than nothing); | Makarius Wenzel | |
| 2000-10-30 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-27 | Ready for 3.2 changes. | David Aspinall | |
| 2000-10-27 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-27 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-26 | font-lock support for antiquotations; | Makarius Wenzel | |
| 2000-10-26 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-26 | *** empty log message *** | Christophe Raffalli | |
| 2000-10-19 | Updated. | David Aspinall | |
| 2000-10-19 | Set version tag for new release. | David Aspinall | |
| 2000-10-19 | Second part of moving to 3.3pre series. | David Aspinall | |
| 2000-10-18 | Updated. | David Aspinall | |
| 2000-10-18 | Updated. | David Aspinall | |
| 2000-10-18 | Set version tag for new release. | David Aspinall | |
| 2000-10-18 | Begin move to 3.3 series. | David Aspinall | |
| 2000-10-18 | Updated. | David Aspinall | |
| 2000-10-18 | Set version tag for new release. | David Aspinall | |
| 2000-10-18 | Fix parse error. | David Aspinall | |
| 2000-10-14 | parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e); | Makarius Wenzel | |
| 2000-10-12 | support for super- and subscripts (still needs proper per-prover | Makarius Wenzel | |
| control of x-symbol-subscripts variable); | |||
| 2000-10-03 | Updated. | David Aspinall | |
| 2000-10-03 | Set version tag for new release. | David Aspinall | |
| 2000-10-03 | Apparently X-Sym web pages have simpler install instructions now. | David Aspinall | |
| 2000-10-02 | added settings: eta-contract, goals-limit, prems-limit; | Makarius Wenzel | |
| 2000-10-02 | Removed link to CHANGES, its buggy | David Aspinall | |
| 2000-10-02 | Updated. | David Aspinall | |
| 2000-10-02 | Updated | David Aspinall | |
| 2000-10-02 | Remove more duplicate entries. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |