Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Doc proof-shell-strip-crs-from-output; update magic | 2002-08-07 | ||
| | ||||
* | Rename proof-dont-switch-windows -> proof-three-window-mode | 2002-08-07 | ||
| | ||||
* | Changed a bit more the doc and the CHANGES file, to be | 2002-07-26 | ||
| | | | | consitent. Concerns the coq-user... variables. | |||
* | The doc for coq-user-... variables is a bit better, their name has | 2002-07-26 | ||
| | | | | changed to be more explicit. | |||
* | Variable name change proof-comment-{start,end}-regexp -> ↵ | 2002-07-19 | ||
| | | | | proof-script-comment-{start,end}-regexp. | |||
* | Mention how to enable X-Symbol. | 2002-07-18 | ||
| | ||||
* | More on keybindings: include old x-symbol-isabelle bindings but using super. | 2002-07-18 | ||
| | ||||
* | Update magic | 2002-07-18 | ||
| | ||||
* | Update magic, move version history to appendix. | 2002-07-18 | ||
| | ||||
* | Refactor several variable names; clean up, doc subterm markup and output ↵ | 2002-07-16 | ||
| | | | | display. | |||
* | Fix authorship | 2002-07-14 | ||
| | ||||
* | Remove description of known bugs. | 2002-07-02 | ||
| | ||||
* | Updates for 3.4 | 2002-07-01 | ||
| | ||||
* | GPL, 3.4 dates | 2002-06-21 | ||
| | ||||
* | Updated the doc and the CHANGES file about new backtracking for Coq. | 2002-06-19 | ||
| | ||||
* | Add doc of proof-shell-last-prompt. | 2002-06-19 | ||
| | ||||
* | Fix info | 2002-06-19 | ||
| | ||||
* | Add news for PG 3.4 | 2002-06-18 | ||
| | ||||
* | Update magic. Document nested proof settings. | 2002-06-18 | ||
| | ||||
* | Update magic | 2002-06-08 | ||
| | ||||
* | updated URLxsymbol (unused); | 2002-05-13 | ||
| | ||||
* | Reflect change in load order | 2002-05-03 | ||
| | ||||
* | Fix URL for X-symbol | 2002-04-23 | ||
| | ||||
* | Document some new settings | 2002-03-21 | ||
| | ||||
* | FSF Emacs -> GNU Emacs | 2002-01-16 | ||
| | ||||
* | Document the tracing buffer; FSF Emacs -> GNU Emacs | 2002-01-16 | ||
| | ||||
* | update from make process; | 2001-12-04 | ||
| | ||||
* | isar specific commands for bold/sup/sub; | 2001-12-04 | ||
| | ||||
* | Update magic | 2001-09-24 | ||
| | ||||
* | New line | 2001-09-24 | ||
| | ||||
* | Another bug reporter | 2001-09-24 | ||
| | ||||
* | Link uref nicely | 2001-09-13 | ||
| | ||||
* | Minor improvements | 2001-09-13 | ||
| | ||||
* | Updates from an old printout of the manual | 2001-09-13 | ||
| | ||||
* | Remove spurious comment at start | 2001-09-10 | ||
| | ||||
* | Update docs. | 2001-09-09 | ||
| | ||||
* | Mention pg-toggle-visibility and its keybinding | 2001-09-05 | ||
| | ||||
* | Todo | 2001-09-05 | ||
| | ||||
* | Update version numbers, time stamps. | 2001-09-03 | ||
| | ||||
* | Note of what to do | 2001-09-03 | ||
| | ||||
* | Something about dependencies feature | 2001-08-31 | ||
| | ||||
* | Fix web page for kit | 2001-08-28 | ||
| | ||||
* | added something in the doc about coq-version-is-V7. | 2001-08-28 | ||
| | ||||
* | Document visibility control | 2001-08-16 | ||
| | ||||
* | Update last updated, copyright | 2001-08-01 | ||
| | ||||
* | AF2 -> PhoX name change | 2001-05-29 | ||
| | ||||
* | Minor | 2001-05-16 | ||
| | ||||
* | Change info dir entry to appear next to Proof General entry. | 2001-05-08 | ||
| | ||||
* | Fix section title for makeinfo | 2001-05-08 | ||
| | ||||
* | Updates for 3.3 | 2001-05-08 | ||
| |