aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Doc proof-shell-strip-crs-from-output; update magicGravatar David Aspinall2002-08-07
* Rename proof-dont-switch-windows -> proof-three-window-modeGravatar David Aspinall2002-08-07
* Changed a bit more the doc and the CHANGES file, to beGravatar Pierre Courtieu2002-07-26
* The doc for coq-user-... variables is a bit better, their name hasGravatar Pierre Courtieu2002-07-26
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Mention how to enable X-Symbol.Gravatar David Aspinall2002-07-18
* More on keybindings: include old x-symbol-isabelle bindings but using super.Gravatar David Aspinall2002-07-18
* Update magicGravatar David Aspinall2002-07-18
* Update magic, move version history to appendix.Gravatar David Aspinall2002-07-18
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Fix authorshipGravatar David Aspinall2002-07-14
* Remove description of known bugs.Gravatar David Aspinall2002-07-02
* Updates for 3.4Gravatar David Aspinall2002-07-01
* GPL, 3.4 datesGravatar David Aspinall2002-06-21
* Updated the doc and the CHANGES file about new backtracking for Coq.Gravatar Pierre Courtieu2002-06-19
* Add doc of proof-shell-last-prompt.Gravatar David Aspinall2002-06-19
* Fix infoGravatar David Aspinall2002-06-19
* Add news for PG 3.4Gravatar David Aspinall2002-06-18
* Update magic. Document nested proof settings.Gravatar David Aspinall2002-06-18
* Update magicGravatar David Aspinall2002-06-08
* updated URLxsymbol (unused);Gravatar Makarius Wenzel2002-05-13
* Reflect change in load orderGravatar David Aspinall2002-05-03
* Fix URL for X-symbolGravatar David Aspinall2002-04-23
* Document some new settingsGravatar David Aspinall2002-03-21
* FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* Document the tracing buffer; FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* update from make process;Gravatar Makarius Wenzel2001-12-04
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* Update magicGravatar David Aspinall2001-09-24
* New lineGravatar David Aspinall2001-09-24
* Another bug reporterGravatar David Aspinall2001-09-24
* Link uref nicelyGravatar David Aspinall2001-09-13
* Minor improvementsGravatar David Aspinall2001-09-13
* Updates from an old printout of the manualGravatar David Aspinall2001-09-13
* Remove spurious comment at startGravatar David Aspinall2001-09-10
* Update docs.Gravatar David Aspinall2001-09-09
* Mention pg-toggle-visibility and its keybindingGravatar David Aspinall2001-09-05
* TodoGravatar David Aspinall2001-09-05
* Update version numbers, time stamps.Gravatar David Aspinall2001-09-03
* Note of what to doGravatar David Aspinall2001-09-03
* Something about dependencies featureGravatar David Aspinall2001-08-31
* Fix web page for kitGravatar David Aspinall2001-08-28
* added something in the doc about coq-version-is-V7.Gravatar Pierre Courtieu2001-08-28
* Document visibility controlGravatar David Aspinall2001-08-16
* Update last updated, copyrightGravatar David Aspinall2001-08-01
* AF2 -> PhoX name changeGravatar David Aspinall2001-05-29
* MinorGravatar David Aspinall2001-05-16
* Change info dir entry to appear next to Proof General entry.Gravatar David Aspinall2001-05-08
* Fix section title for makeinfoGravatar David Aspinall2001-05-08
* Updates for 3.3Gravatar David Aspinall2001-05-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 07:32:30 +0000