| Commit message (Expand) | Author | Age |
* | Changed a bit more the doc and the CHANGES file, to be | Pierre Courtieu | 2002-07-26 |
* | The doc for coq-user-... variables is a bit better, their name has | Pierre Courtieu | 2002-07-26 |
* | Mention how to enable X-Symbol. | David Aspinall | 2002-07-18 |
* | More on keybindings: include old x-symbol-isabelle bindings but using super. | David Aspinall | 2002-07-18 |
* | Update magic, move version history to appendix. | David Aspinall | 2002-07-18 |
* | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
* | Fix authorship | David Aspinall | 2002-07-14 |
* | Remove description of known bugs. | David Aspinall | 2002-07-02 |
* | Updates for 3.4 | David Aspinall | 2002-07-01 |
* | GPL, 3.4 dates | David Aspinall | 2002-06-21 |
* | Updated the doc and the CHANGES file about new backtracking for Coq. | Pierre Courtieu | 2002-06-19 |
* | Fix info | David Aspinall | 2002-06-19 |
* | Add news for PG 3.4 | David Aspinall | 2002-06-18 |
* | 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 the tracing buffer; FSF Emacs -> GNU Emacs | David Aspinall | 2002-01-16 |
* | isar specific commands for bold/sup/sub; | Makarius Wenzel | 2001-12-04 |
* | Another bug reporter | David Aspinall | 2001-09-24 |
* | 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 |
* | 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 |
* | 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 thms_containing; | Makarius Wenzel | 2001-02-01 |
* | 3.2 -> 3.3pre | David Aspinall | 2000-12-01 |
* | Date becomes Oct | David Aspinall | 2000-09-28 |
* | Tweaks | David Aspinall | 2000-09-28 |
* | Fix typo, add credit. | David Aspinall | 2000-09-28 |
* | proper spelling: "Leonor Prensa Nieto"; | Makarius Wenzel | 2000-09-27 |
* | Shortened BUGs appendix, other improvements | David Aspinall | 2000-09-27 |
* | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 |
* | Update date. | David Aspinall | 2000-09-23 |
* | Fix infodir entry, it got broken somehow. | David Aspinall | 2000-09-21 |
* | Moved proof-add-completions to adapting manual | David Aspinall | 2000-09-14 |
* | Minor improvements | David Aspinall | 2000-09-13 |
* | Update date. | David Aspinall | 2000-09-12 |