aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Fix linkGravatar David Aspinall2004-02-08
* Update magicGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Fix domain nameGravatar David Aspinall2003-12-11
* Typo; update magicGravatar David Aspinall2003-06-05
* Updated magicGravatar David Aspinall2003-03-17
* Note about M-x x-symbol-modeGravatar David Aspinall2003-03-03
* Update doc of X-SymGravatar David Aspinall2003-03-01
* Added a paragraph in the documentation for the variable coq-version-is-V74.Gravatar Pierre Courtieu2003-02-05
* Update version number, reorg.Gravatar David Aspinall2002-09-11
* Add Stefan MonnierGravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Update magicGravatar David Aspinall2002-08-29
* Update dir entries, remove localdir fileGravatar David Aspinall2002-08-28
* Updated magicGravatar David Aspinall2002-08-27
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Document experimental features; update other descriptions.Gravatar David Aspinall2002-08-12
* Doc comments also under vis controlGravatar David Aspinall2002-08-09
* Authorship, comments.Gravatar David Aspinall2002-08-08
* Fix email addresses; tweaks.Gravatar David Aspinall2002-08-08
* Trivial.Gravatar David Aspinall2002-08-08
* 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
* 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 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
* Fix infoGravatar David Aspinall2002-06-19
* Add news for PG 3.4Gravatar 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 the tracing buffer; FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* Another bug reporterGravatar David Aspinall2001-09-24
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 20:37:00 +0000