aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* Try to disable image for nowGravatar David Aspinall2001-05-01
* Updated magicGravatar David Aspinall2001-03-20
* Use PS fonts in PS fileGravatar David Aspinall2001-03-20
* updated thms_containing;Gravatar Makarius Wenzel2001-02-01
* Fix magicGravatar David Aspinall2000-12-20
* Document proof-shell-last-output and friendsGravatar David Aspinall2000-12-20
* 3.2 -> 3.3preGravatar David Aspinall2000-12-01
* *** empty log message ***Gravatar Christophe Raffalli2000-11-13
* *** empty log message ***Gravatar Christophe Raffalli2000-11-10
* Fix recursive makeGravatar David Aspinall2000-10-02
* Updated magicGravatar David Aspinall2000-10-02
* Attempt to force image buildGravatar David Aspinall2000-10-02
* Attempt to force image buildGravatar David Aspinall2000-10-02
* Subtitle capsGravatar David Aspinall2000-10-02
* Typos in credits sectionGravatar David Aspinall2000-09-29
* Added credits sectionGravatar David Aspinall2000-09-29
* Date becomes OctGravatar David Aspinall2000-09-28
* TweaksGravatar David Aspinall2000-09-28
* Fix typo, add credit.Gravatar David Aspinall2000-09-28
* Add default targetGravatar David Aspinall2000-09-28
* Added extra section on how to tweak script input to the shellGravatar David Aspinall2000-09-28
* proper spelling: "Leonor Prensa Nieto";Gravatar Makarius Wenzel2000-09-27
* Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...Gravatar David Aspinall2000-09-27
* Shortened BUGs appendix, other improvementsGravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Update date.Gravatar David Aspinall2000-09-23
* Slightly shorter name for info dir entry.Gravatar David Aspinall2000-09-21
* Fix infodir entry, it got broken somehow.Gravatar David Aspinall2000-09-21
* Make PG-adapting first so index.html left pointing to main manualGravatar David Aspinall2000-09-21
* Improved adding more lisp code chapter.Gravatar David Aspinall2000-09-21
* Encourage use of easy instantiation mechanism.Gravatar David Aspinall2000-09-14
* Moved proof-add-completions to adapting manualGravatar David Aspinall2000-09-14
* Added doc of completions, several other script settings. Sections in script ...Gravatar David Aspinall2000-09-14
* Note about creating images for toolbar.Gravatar David Aspinall2000-09-14
* Removed keystroke index.Gravatar David Aspinall2000-09-13
* Remove keystroke index, add appendix with demoisa code (directly included)Gravatar David Aspinall2000-09-13
* Add sections to chapter 2, and text on adjusting toolbar. Update magicGravatar David Aspinall2000-09-13
* Minor improvementsGravatar David Aspinall2000-09-13
* Updated magic.Gravatar David Aspinall2000-09-12
* Add provide sym-lock to fix sym lock loading problemGravatar David Aspinall2000-09-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 10:42:22 +0000