aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2004-03-23Fix more proofgeneral.orgDavid Aspinall
2004-03-23Update dateDavid Aspinall
2004-03-23Intro to 3.5 version, Emacs version updateDavid Aspinall
2004-03-23Update last updated stampDavid Aspinall
2004-03-01Doc unrecognized option behaviourDavid Aspinall
2004-03-01Better titleDavid Aspinall
2004-02-29Add man page, remove ps file from distrib.David Aspinall
2004-02-29New files.David Aspinall
2004-02-29Renamed fileDavid Aspinall
2004-02-29Add -no-site-file to batch xemacs.David Aspinall
2004-02-08Fix linkDavid Aspinall
2004-02-08Update some urlsDavid Aspinall
2004-02-08Update magicDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Fix link to portraitDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-06-05Update magicDavid Aspinall
2003-06-05Typo; update magicDavid Aspinall
2003-03-17Updated magicDavid Aspinall
2003-03-03Note about M-x x-symbol-modeDavid Aspinall
2003-03-01Update doc of X-SymDavid Aspinall
2003-02-05Added a paragraph in the documentation for the variable coq-version-is-V74.Pierre Courtieu
2002-09-11Update version number, reorg.David Aspinall
2002-08-31Doc new proof-zap-commasDavid Aspinall
2002-08-31Add -q to emacsDavid Aspinall
2002-08-29Add Stefan MonnierDavid Aspinall
2002-08-29Remove proof-splash-extensionsDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Update magicDavid Aspinall
2002-08-29Update magicDavid Aspinall
2002-08-28Update dir entries, remove localdir fileDavid Aspinall
2002-08-27Updated magicDavid Aspinall
2002-08-27TweakDavid Aspinall
2002-08-27Add PG adapting.David Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
2002-08-12Update magicDavid Aspinall
2002-08-12Document experimental features; update other descriptions.David Aspinall
2002-08-09Doc comments also under vis controlDavid Aspinall
2002-08-08Authorship, comments.David Aspinall
2002-08-08Fix markupDavid Aspinall
2002-08-08Fix email addresses; tweaks.David Aspinall
2002-08-08Trivial.David Aspinall
2002-08-07Doc proof-shell-strip-crs-from-output; update magicDavid Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-07-26Changed a bit more the doc and the CHANGES file, to bePierre Courtieu
2002-07-26The doc for coq-user-... variables is a bit better, their name hasPierre Courtieu
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-18Mention how to enable X-Symbol.David Aspinall
2002-07-18More on keybindings: include old x-symbol-isabelle bindings but using super.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 11:55:34 +0000