aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Update magicGravatar David Aspinall2003-06-05
* 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
* Doc new proof-zap-commasGravatar David Aspinall2002-08-31
* Add -q to emacsGravatar David Aspinall2002-08-31
* Add Stefan MonnierGravatar David Aspinall2002-08-29
* Remove proof-splash-extensionsGravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Update magicGravatar 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
* TweakGravatar David Aspinall2002-08-27
* Add PG adapting.Gravatar David Aspinall2002-08-27
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Update magicGravatar 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 markupGravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 10:14:34 +0000