aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 15:44:23 +0000