aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/NewDoc.texi
Commit message (Expand)AuthorAge
* (briefly) documented problem with sections in CoqGravatar Thomas Kleymann1998-11-10
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* More reorganization. Added content to Isabelle chapter, begun basic script.Gravatar David Aspinall1998-11-09
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added bug about FSFmacs/proof-strict-read-only=t/font-lockGravatar David Aspinall1998-11-09
* Added section on multiple filesGravatar Thomas Kleymann1998-11-09
* Added section on Isabelle specific bugs.Gravatar David Aspinall1998-11-09
* Added acknowledgements to doc. Removed from code.Gravatar David Aspinall1998-11-09
* Added plea for help and made logo in intro only for HTML.Gravatar David Aspinall1998-11-06
* Nasty things no longer happen, can't load Proof General more than onceGravatar David Aspinall1998-11-06
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* o consistent formatting of section headingsGravatar Thomas Kleymann1998-11-04
* Revised section on Advanced Script ManagementGravatar Thomas Kleymann1998-11-04
* added a FIXME comment for non-pertinent buffersGravatar Thomas Kleymann1998-11-04
* first draft of Advanced Script Management section; I assume there willGravatar Thomas Kleymann1998-11-04
* Added key binding to switch between theory and ML files.Gravatar David Aspinall1998-11-04
* Minor fixesGravatar David Aspinall1998-11-04
* Fixes and improvementsGravatar David Aspinall1998-11-03
* Added more content. Texi a Bit buggyGravatar David Aspinall1998-11-03
* Corrected credit for original texiGravatar David Aspinall1998-11-03
* Began documentation of options, plus other thingsGravatar David Aspinall1998-11-03
* Minor improvementsGravatar David Aspinall1998-11-03
* fixed texi typosGravatar Thomas Kleymann1998-11-02
* New documentation file, WIP so shouldn't be release on web page.Gravatar David Aspinall1998-10-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 18:55:58 +0000