| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2002-06-11 | Improved proof-nesting-depth (not finished yet) | David Aspinall | |
| 2002-06-11 | Fixed a bug of the new synchro code (coq-find-and-forget) in | Pierre Courtieu | |
| coq.el. Now do not count Tactics and unsaved goal commands for "Back". | |||
| 2002-06-11 | Add proof-nesting-depth, new implementation of span amalgamation in ↵ | David Aspinall | |
| proof-done-advancing. | |||
| 2002-06-11 | Set nested goals; include Lemma again in def of goal. | David Aspinall | |
| 2002-06-11 | New files. | David Aspinall | |
| 2002-06-08 | Mention not supporting E21 | David Aspinall | |
| 2002-06-08 | Updated. | David Aspinall | |
| 2002-06-08 | Add install for isartags | David Aspinall | |
| 2002-06-08 | Updated. | David Aspinall | |
| 2002-06-08 | Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵ | David Aspinall | |
| before? | |||
| 2002-06-08 | Clean up span.el loading; make compat with bbdb.el in FSF | David Aspinall | |
| 2002-06-08 | Clean up span.el loading | David Aspinall | |
| 2002-06-08 | Updated. | David Aspinall | |
| 2002-06-08 | Updates | David Aspinall | |
| 2002-06-08 | Remove duplicate | David Aspinall | |
| 2002-06-08 | Add isartags | David Aspinall | |
| 2002-06-08 | Program [broken] | David Aspinall | |
| 2002-06-08 | Update magic | David Aspinall | |
| 2002-06-08 | Default to /usr/bin/perl | David Aspinall | |
| 2002-06-08 | Note about removing dirs | David Aspinall | |
| 2002-06-08 | Remove PGK mention, other obs projects | David Aspinall | |
| 2002-06-08 | Updated. | David Aspinall | |
| 2002-06-08 | Robustness fixes/bug notes | David Aspinall | |
| 2002-06-08 | Spacing | David Aspinall | |
| 2002-06-08 | Tweak liveness test | David Aspinall | |
| 2002-06-08 | Alter order | David Aspinall | |
| 2002-06-08 | Fix keysym to use FSF syntax | David Aspinall | |
| 2002-06-08 | Set version tag for new release. | David Aspinall | |
| 2002-06-07 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2002-06-07 | X-Symbol version 4.45 beta | David Aspinall | |
| 2002-06-07 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2002-06-07 | X-Symbol version 4.45 beta | David Aspinall | |
| 2002-06-05 | Add types_code and friends | David Aspinall | |
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |