aboutsummaryrefslogtreecommitdiff
path: root/doc/NewDoc.texi
AgeCommit message (Expand)Author
1998-11-10Removed traces of support for Ruy's legogrep. This is superseded by legotags.Thomas Kleymann
1998-11-09More reorganization. Added content to Isabelle chapter, begun basic script.David Aspinall
1998-11-09Added proof-rsh-command to help complete documentation (was allocatedDavid Aspinall
1998-11-09Added bug about FSFmacs/proof-strict-read-only=t/font-lockDavid Aspinall
1998-11-09Added section on multiple filesThomas Kleymann
1998-11-09Added section on Isabelle specific bugs.David Aspinall
1998-11-09Added acknowledgements to doc. Removed from code.David Aspinall
1998-11-06Added plea for help and made logo in intro only for HTML.David Aspinall
1998-11-06Nasty things no longer happen, can't load Proof General more than onceDavid Aspinall
1998-11-05completed chapter on Known bugs. However section on Isabelle ProofThomas Kleymann
1998-11-05completed chapter on LEGO Proof GeneralThomas Kleymann
1998-11-04o consistent formatting of section headingsThomas Kleymann
1998-11-04Revised section on Advanced Script ManagementThomas Kleymann
1998-11-04added a FIXME comment for non-pertinent buffersThomas Kleymann
1998-11-04first draft of Advanced Script Management section; I assume there willThomas Kleymann
1998-11-04Added key binding to switch between theory and ML files.David Aspinall
1998-11-04Minor fixesDavid Aspinall
1998-11-03Fixes and improvementsDavid Aspinall
1998-11-03Added more content. Texi a Bit buggyDavid Aspinall
1998-11-03Corrected credit for original texiDavid Aspinall
1998-11-03Began documentation of options, plus other thingsDavid Aspinall
1998-11-03Minor improvementsDavid Aspinall
1998-11-02fixed texi typosThomas Kleymann
1998-10-29New documentation file, WIP so shouldn't be release on web page.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-18 11:27:31 +0000