aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Documentation improvementsGravatar David Aspinall1999-11-12
* Improved documentation, more options addedGravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Added a section on user option conventions. Changed var namesGravatar David Aspinall1999-11-10
* proof-looking-at (subject to proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* Fixed info syntax errorsGravatar David Aspinall1999-11-09
* Added a section on debugging, mentioned proof-show-debug-messages.Gravatar David Aspinall1999-11-08
* Fixes to intro.Gravatar David Aspinall1999-11-08
* Updates for 3.0Gravatar David Aspinall1999-11-08
* updated;Gravatar Makarius Wenzel1999-10-27
* updated;Gravatar Makarius Wenzel1999-10-26
* Documentation about the improved multiple file handling functions.Gravatar David Aspinall1999-10-21
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* Added proof-shell-inform-file-processed-cmdGravatar David Aspinall1999-10-21
* Revised bug section for Isabelle multiple file note.Gravatar David Aspinall1999-10-21
* Fixed crossrefs.Gravatar David Aspinall1999-10-20
* Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicGravatar David Aspinall1999-10-19
* FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.Gravatar David Aspinall1999-10-15
* docstring magicGravatar David Aspinall1999-10-12
* Temporary location of web pagesGravatar David Aspinall1999-10-07
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* UpdatesGravatar David Aspinall1999-10-06
* UpdatesGravatar David Aspinall1999-10-06
* Admin changes for version 2.2.Gravatar David Aspinall1999-10-06
* proof-try-command is deprecatedGravatar David Aspinall1999-10-06
* Updates.Gravatar David Aspinall1999-10-06
* Fixup name changesGravatar David Aspinall1999-10-01
* No attempt to update BUGS section of manualGravatar David Aspinall1999-10-01
* Minor changes to introduction.Gravatar David Aspinall1999-10-01
* make magic;Gravatar Makarius Wenzel1999-09-30
* Added proof-script-command-separator. Removed duplicated proof-strict-read-o...Gravatar David Aspinall1999-09-29
* UpdatedGravatar David Aspinall1999-09-28
* Added doc for proof-find-theoremsGravatar David Aspinall1999-09-23
* updated (make magic);Gravatar Makarius Wenzel1999-09-22
* Earlier explanation of what a proof assistant is.Gravatar David Aspinall1999-09-22
* Updated magicGravatar David Aspinall1999-09-13
* Emphasised that user can still use the shellGravatar David Aspinall1999-09-13
* No longer cutting edge, really.Gravatar David Aspinall1999-09-13
* XEmacs 21 fixes for documentation of function menuGravatar David Aspinall1999-09-13
* Changes for 2.3 series pre-releases.Gravatar David Aspinall1999-08-23
* proof-version -> proof-general-versionGravatar David Aspinall1999-08-23
* Updated prover versionsGravatar David Aspinall1999-08-20
* Date updated.Gravatar David Aspinall1999-08-20
* Adjustments to remove .eps picture from frontGravatar David Aspinall1999-08-19
* Date change.Gravatar David Aspinall1999-07-02
* Problems with @image commented.Gravatar David Aspinall1999-06-28
* UpdatesGravatar David Aspinall1999-06-24
* New front page image. Updated magic.Gravatar David Aspinall1999-06-18
* Added coq-begin-Section and coq-end-SectionGravatar Patrick Loiseleur1999-06-14
* I've added the custom option 'prog-name-guess' in the generic part andGravatar Patrick Loiseleur1999-05-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 12:13:28 +0000