aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* Fixed rearrange target.Gravatar David Aspinall1999-09-13
* 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
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar 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
* Remove temporary fileGravatar David Aspinall1999-08-20
* 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
* Instructions for docsGravatar David Aspinall1999-08-19
* please ignore (back to 2.15);Gravatar Makarius Wenzel1999-07-24
* *** empty log message ***Gravatar Makarius Wenzel1999-07-24
* Load plastic and isar as a sanity check, prelude to documenting in texiGravatar David Aspinall1999-07-03
* Date change.Gravatar David Aspinall1999-07-02
* Put info files back in dist.Gravatar David Aspinall1999-07-01
* updatedGravatar David Aspinall1999-06-30
* Updated.Gravatar David Aspinall1999-06-28
* Added .ps.gz target and dist target.Gravatar David Aspinall1999-06-28
* Problems with @image commented.Gravatar David Aspinall1999-06-28
* Removed accidental deletion of ps file.Gravatar David Aspinall1999-06-28
* UpdatedGravatar David Aspinall1999-06-28
* Replaces .eps fileGravatar David Aspinall1999-06-24
* UpdatesGravatar David Aspinall1999-06-24
* Deleted files.Gravatar 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
* Fixed.Gravatar David Aspinall1999-03-08
* Idea for proof-auto-retract, notes about proof-strict-read-onlyGravatar David Aspinall1999-03-08
* Improved documentation on tagsGravatar Thomas Kleymann1999-02-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 02:40:45 +0000