| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2002-05-29 | Made a negative test to compute the number of "Back n" in | Pierre Courtieu | |
| coq-find-and-forget. | |||
| 2002-05-29 | Modification of the coq-find-and-forget function, in order to use the | Pierre Courtieu | |
| new "Back n." command of coq to make the syncronization better. Seems to work, need to test. | |||
| 2002-05-29 | Added some new tactic names | Pierre Courtieu | |
| 2002-05-21 | Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>) | David Aspinall | |
| 2002-05-13 | updated URLxsymbol (unused); | Makarius Wenzel | |
| 2002-05-10 | tuned isar-strip-terminators; | Makarius Wenzel | |
| 2002-05-03 | fixed spelling; | Makarius Wenzel | |
| 2002-05-03 | tuned comment; | Makarius Wenzel | |
| 2002-05-03 | tuned proof-next-error setup; | Makarius Wenzel | |
| 2002-05-03 | Updated. | David Aspinall | |
| 2002-05-03 | Set version tag for new release. | David Aspinall | |
| 2002-05-03 | New files. | David Aspinall | |
| 2002-05-03 | Fix X-symbol URL | David Aspinall | |
| 2002-05-03 | Fix font lock for E21 (I hope) | David Aspinall | |
| 2002-05-03 | Try to support next-error key binding for both Emacs versions. | David Aspinall | |
| 2002-05-03 | Reflect change in load order | David Aspinall | |
| 2002-05-03 | Updates | David Aspinall | |
| 2002-05-03 | Fix loading order to load Isar before Isa | David Aspinall | |
| 2002-05-03 | Added support for proof-shell-next-error | David Aspinall | |
| 2002-05-03 | Add support for proof-next-error. | David Aspinall | |
| 2002-05-03 | Craftily set experimental fetures on for devel release. | David Aspinall | |
| 2002-05-03 | Began adding generic line-width adjust | David Aspinall | |
| 2002-04-24 | Remove indents | David Aspinall | |
| 2002-04-24 | Updated list of SML keywords | David Aspinall | |
| 2002-04-23 | Updated. | David Aspinall | |
| 2002-04-23 | Set version tag for new release. | David Aspinall | |
| 2002-04-23 | Fix URL for X-symbol | David Aspinall | |
| 2002-04-23 | Updated | David Aspinall | |
| 2002-04-23 | Add syntax highlighting cahanges from Lucas Dixon | David Aspinall | |
| 2002-04-23 | Fix for E21 with isa-pre-shell-start. | David Aspinall | |
| 2002-04-22 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2002-04-22 | X-Symbol version 4.45 beta | David Aspinall | |
| 2002-04-16 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2002-04-16 | X-Symbol version 4.45 beta | David Aspinall | |
| 2002-04-16 | This commit was manufactured by cvs2git to create branch 'xsym'. | cvs2git | |
| Cherrypick from master 2002-04-16 13:38:30 UTC David Aspinall <da@inf.ed.ac.uk> 'Initial revision': x-symbol/lisp/Makefile | |||
| 2002-04-16 | Initial revision | David Aspinall | |
| 2002-04-16 | X-Symbol version 4.45 beta | David Aspinall | |
| 2002-04-16 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2002-03-22 | Updated. | David Aspinall | |
| 2002-03-22 | Updated. | David Aspinall | |
| 2002-03-22 | Set version tag for new release. | David Aspinall | |
| 2002-03-21 | *** empty log message *** | Christophe Raffalli | |
| 2002-03-21 | Updated. | David Aspinall | |
| 2002-03-21 | Improvement to ACL2 | David Aspinall | |
| 2002-03-21 | Greatly improved support. | David Aspinall | |
| 2002-03-21 | Typo | David Aspinall | |
| 2002-03-21 | No longer recommend XEmacs exclusively. | David Aspinall | |
| 2002-03-21 | FSF -> GNU | David Aspinall | |
| 2002-03-21 | Updated. | David Aspinall | |
| 2002-03-21 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |