| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-02 | Remove description of known bugs. | David Aspinall |
| 2002-07-01 | Updates for 3.4 | David Aspinall |
| 2002-06-21 | GPL, 3.4 dates | David Aspinall |
| 2002-06-19 | Updated the doc and the CHANGES file about new backtracking for Coq. | Pierre Courtieu |
| 2002-06-19 | Add doc of proof-shell-last-prompt. | David Aspinall |
| 2002-06-19 | Fix info | David Aspinall |
| 2002-06-18 | Add news for PG 3.4 | David Aspinall |
| 2002-06-18 | Update magic. Document nested proof settings. | David Aspinall |
| 2002-06-08 | Update magic | David Aspinall |
| 2002-05-13 | updated URLxsymbol (unused); | Makarius Wenzel |
| 2002-05-03 | Reflect change in load order | David Aspinall |
| 2002-04-23 | Fix URL for X-symbol | David Aspinall |
| 2002-03-21 | Document some new settings | David Aspinall |
| 2002-01-16 | FSF Emacs -> GNU Emacs | David Aspinall |
| 2002-01-16 | Document the tracing buffer; FSF Emacs -> GNU Emacs | David Aspinall |
| 2001-12-04 | update from make process; | Makarius Wenzel |
| 2001-12-04 | isar specific commands for bold/sup/sub; | Makarius Wenzel |
| 2001-09-24 | Update magic | David Aspinall |
| 2001-09-24 | New line | David Aspinall |
| 2001-09-24 | Another bug reporter | David Aspinall |
| 2001-09-13 | Link uref nicely | David Aspinall |
| 2001-09-13 | Minor improvements | David Aspinall |
| 2001-09-13 | Updates from an old printout of the manual | David Aspinall |
| 2001-09-10 | Remove spurious comment at start | David Aspinall |
| 2001-09-09 | Update docs. | David Aspinall |
| 2001-09-05 | Mention pg-toggle-visibility and its keybinding | David Aspinall |
| 2001-09-05 | Todo | David Aspinall |
| 2001-09-03 | Update version numbers, time stamps. | David Aspinall |
| 2001-09-03 | Note of what to do | David Aspinall |
| 2001-08-31 | Something about dependencies feature | David Aspinall |
| 2001-08-28 | Fix web page for kit | David Aspinall |
| 2001-08-28 | added something in the doc about coq-version-is-V7. | Pierre Courtieu |
| 2001-08-16 | Document visibility control | David Aspinall |
| 2001-08-01 | Update last updated, copyright | David Aspinall |
| 2001-05-29 | AF2 -> PhoX name change | David Aspinall |
| 2001-05-16 | Minor | David Aspinall |
| 2001-05-08 | Change info dir entry to appear next to Proof General entry. | David Aspinall |
| 2001-05-08 | Fix section title for makeinfo | David Aspinall |
| 2001-05-08 | Updates for 3.3 | David Aspinall |
| 2001-05-01 | Try to disable image for now | David Aspinall |
| 2001-03-20 | Updated magic | David Aspinall |
| 2001-03-20 | Use PS fonts in PS file | David Aspinall |
| 2001-02-01 | updated thms_containing; | Makarius Wenzel |
| 2000-12-20 | Fix magic | David Aspinall |
| 2000-12-20 | Document proof-shell-last-output and friends | David Aspinall |
| 2000-12-01 | 3.2 -> 3.3pre | David Aspinall |
| 2000-11-13 | *** empty log message *** | Christophe Raffalli |
| 2000-11-10 | *** empty log message *** | Christophe Raffalli |
| 2000-10-02 | Fix recursive make | David Aspinall |
| 2000-10-02 | Updated magic | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |