aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
* Updated magic once moreGravatar David Aspinall1998-12-16
* further documentation of LEGO specific bugGravatar Thomas Kleymann1998-12-16
* Some hacks to make markup happen.Gravatar David Aspinall1998-12-16
* minor changes in the HistoryGravatar Thomas Kleymann1998-12-16
* . clarified history of multiple filesGravatar Thomas Kleymann1998-12-16
* Changed title of Chap 10.Gravatar David Aspinall1998-12-15
* Preface: Added David von Oheimb to credits. Mentioned adding multiple files.Gravatar David Aspinall1998-12-15
* Updated magic.Gravatar David Aspinall1998-12-15
* Made preface unnumbered. Cosmetic improvements. Updated magic.Gravatar David Aspinall1998-12-15
* credits now at the beginningGravatar Thomas Kleymann1998-12-15
* *** empty log message ***Gravatar Thomas Kleymann1998-12-15
* Added ps to make all.Gravatar David Aspinall1998-12-15
* Fixed several typos.Gravatar David Aspinall1998-12-15
* Updated magic. Small changes in Chap 11.Gravatar David Aspinall1998-12-15
* Added back magic target, handy to force update of magic.Gravatar David Aspinall1998-12-15
* radical new version of Credits and References sectionGravatar Thomas Kleymann1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* rearrange pages automaticallyGravatar Thomas Kleymann1998-12-14
* . Removed "multiple prover problem" from bugs section, since it's nowGravatar David Aspinall1998-12-11
* Changed name of proof-toolbar-inhibit variable for uniformity.Gravatar David Aspinall1998-12-10
* Added proof-shell-preprocess-command for Paul Callaghan.Gravatar David Aspinall1998-12-07
* Added HTML files.Gravatar David Aspinall1998-11-26
* Added proof-shell-clear-goals-regexp.Gravatar David Aspinall1998-11-26
* Improvements from Markus Wenzel. Re-made after texi-docstring-magicGravatar David Aspinall1998-11-26
* Updated magic.Gravatar David Aspinall1998-11-25
* More polish.Gravatar David Aspinall1998-11-25
* Fixed up uses of @ref, @xref, @pxref.Gravatar David Aspinall1998-11-25
* Be gentler in walkthrough.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Cleaned up some text.Gravatar David Aspinall1998-11-25
* Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiGravatar David Aspinall1998-11-25
* Improvements to get rid of old ProofGeneral.texi.Gravatar David Aspinall1998-11-25
* Documentation improvements.Gravatar David Aspinall1998-11-25
* Extra Isabelle PG bug/feature with theory loader. Plan for pbp.Gravatar David Aspinall1998-11-25
* Updated magicGravatar David Aspinall1998-11-25
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Added note about no specific doc for Coq PGGravatar David Aspinall1998-11-25
* Name fix.Gravatar David Aspinall1998-11-25
* Load proof-toolbarGravatar David Aspinall1998-11-25
* Updated magicGravatar David Aspinall1998-11-25
* Separated function and variable indexes again.Gravatar David Aspinall1998-11-25
* Added header.Gravatar David Aspinall1998-11-25
* Wrote Internals chapter. Added auto docstrings for config variables.Gravatar David Aspinall1998-11-25
* Changed names of docstring magic stuffGravatar David Aspinall1998-11-25
* Converted to use magic docstring comments.Gravatar David Aspinall1998-11-25
* Magic docstring -> texi conversion.Gravatar David Aspinall1998-11-25
* Added RCS stamp to doc.Gravatar David Aspinall1998-11-20
* Aesthetic fixes. Added sections on tags and outline mode.Gravatar David Aspinall1998-11-20
* A few moreGravatar David Aspinall1998-11-18
* Added NewDoc temporariesGravatar David Aspinall1998-11-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 01:47:53 +0000