aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/PG-adapting.texi
Commit message (Expand)AuthorAge
...
* Update magicGravatar David Aspinall2002-08-12
* Fix markupGravatar David Aspinall2002-08-08
* Fix email addresses; tweaks.Gravatar David Aspinall2002-08-08
* Doc proof-shell-strip-crs-from-output; update magicGravatar David Aspinall2002-08-07
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Update magicGravatar David Aspinall2002-07-18
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Updates for 3.4Gravatar David Aspinall2002-07-01
* GPL, 3.4 datesGravatar David Aspinall2002-06-21
* Add doc of proof-shell-last-prompt.Gravatar David Aspinall2002-06-19
* Update magic. Document nested proof settings.Gravatar David Aspinall2002-06-18
* 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
* update from make process;Gravatar Makarius Wenzel2001-12-04
* Update magicGravatar David Aspinall2001-09-24
* Link uref nicelyGravatar David Aspinall2001-09-13
* Updates from an old printout of the manualGravatar David Aspinall2001-09-13
* Update docs.Gravatar David Aspinall2001-09-09
* Update version numbers, time stamps.Gravatar David Aspinall2001-09-03
* Fix web page for kitGravatar David Aspinall2001-08-28
* Update last updated, copyrightGravatar David Aspinall2001-08-01
* Change info dir entry to appear next to Proof General entry.Gravatar David Aspinall2001-05-08
* Try to disable image for nowGravatar David Aspinall2001-05-01
* Updated magicGravatar David Aspinall2001-03-20
* 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
* Updated magicGravatar 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
* Added extra section on how to tweak script input to the shellGravatar David Aspinall2000-09-28
* Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...Gravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Slightly shorter name for info dir entry.Gravatar 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
* 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
* More details about parsing functions. Improved introGravatar David Aspinall2000-09-12
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 14:05:01 +0000