| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update magic |  David Aspinall | 2002-06-08 |
| * | updated URLxsymbol (unused); |  Makarius Wenzel | 2002-05-13 |
| * | Reflect change in load order | David Aspinall | 2002-05-03 |
| * | Fix URL for X-symbol | David Aspinall | 2002-04-23 |
| * | Document some new settings | David Aspinall | 2002-03-21 |
| * | FSF Emacs -> GNU Emacs | David Aspinall | 2002-01-16 |
| * | Document the tracing buffer; FSF Emacs -> GNU Emacs | David Aspinall | 2002-01-16 |
| * | update from make process; | Makarius Wenzel | 2001-12-04 |
| * | isar specific commands for bold/sup/sub; | Makarius Wenzel | 2001-12-04 |
| * | Update magic | David Aspinall | 2001-09-24 |
| * | New line | David Aspinall | 2001-09-24 |
| * | Another bug reporter | David Aspinall | 2001-09-24 |
| * | 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-13 |
| * | Remove spurious comment at start | David Aspinall | 2001-09-10 |
| * | Update docs. | David Aspinall | 2001-09-09 |
| * | Mention pg-toggle-visibility and its keybinding | David Aspinall | 2001-09-05 |
| * | Todo | David Aspinall | 2001-09-05 |
| * | Update version numbers, time stamps. | David Aspinall | 2001-09-03 |
| * | Note of what to do | David Aspinall | 2001-09-03 |
| * | Something about dependencies feature | David Aspinall | 2001-08-31 |
| * | Fix web page for kit | David Aspinall | 2001-08-28 |
| * | added something in the doc about coq-version-is-V7. |  Pierre Courtieu | 2001-08-28 |
| * | Document visibility control | David Aspinall | 2001-08-16 |
| * | Update last updated, copyright | David Aspinall | 2001-08-01 |
| * | AF2 -> PhoX name change | David Aspinall | 2001-05-29 |
| * | Minor | David Aspinall | 2001-05-16 |
| * | 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-08 |
| * | Try to disable image for now | David Aspinall | 2001-05-01 |
| * | Updated magic | David Aspinall | 2001-03-20 |
| * | Use PS fonts in PS file | David Aspinall | 2001-03-20 |
| * | updated thms_containing; | Makarius Wenzel | 2001-02-01 |
| * | Fix magic | David Aspinall | 2000-12-20 |
| * | Document proof-shell-last-output and friends | David Aspinall | 2000-12-20 |
| * | 3.2 -> 3.3pre | David Aspinall | 2000-12-01 |
| * | *** empty log message *** |  Christophe Raffalli | 2000-11-13 |
| * | *** empty log message *** | Christophe Raffalli | 2000-11-10 |
| * | Fix recursive make | David Aspinall | 2000-10-02 |
| * | Updated magic | David Aspinall | 2000-10-02 |
| * | Attempt to force image build | David Aspinall | 2000-10-02 |
| * | Attempt to force image build | David Aspinall | 2000-10-02 |
| * | Subtitle caps | David Aspinall | 2000-10-02 |
| * | Typos in credits section | David Aspinall | 2000-09-29 |
| * | Added credits section | David Aspinall | 2000-09-29 |
| * | Date becomes Oct | David Aspinall | 2000-09-28 |
| * | Tweaks | David Aspinall | 2000-09-28 |
| * | Fix typo, add credit. | David Aspinall | 2000-09-28 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |