aboutsummaryrefslogtreecommitdiff
path: root/doc/notes.txt
AgeCommit message (Expand)Author
1999-11-26Renamed fileDavid Aspinall
1999-06-24UpdatesDavid Aspinall
1999-01-12Mention of continued-input prompt as API guidline.David 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-04Revised section on Advanced Script ManagementThomas Kleymann
1998-11-03Began documentation of options, plus other thingsDavid Aspinall
1998-11-03Minor improvementsDavid Aspinall
1998-11-02Updated NewDoc contents and added chapter assignmentsDavid Aspinall
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29More scholarly notes (ha-ha).David Aspinall
1998-10-29Added some notes about a putative academic paper on Proof GeneralDavid Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-26Added suggested outline for improved texiDavid Aspinall
1998-10-23Added fume-func doc noteDavid Aspinall
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-12Notes about things to put in docs.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:30:39 +0000