aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/notes.txt
Commit message (Expand)AuthorAge
* UpdatesGravatar David Aspinall1999-06-24
* Mention of continued-input prompt as API guidline.Gravatar David Aspinall1999-01-12
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* Revised section on Advanced Script ManagementGravatar Thomas Kleymann1998-11-04
* Began documentation of options, plus other thingsGravatar David Aspinall1998-11-03
* Minor improvementsGravatar David Aspinall1998-11-03
* Updated NewDoc contents and added chapter assignmentsGravatar David Aspinall1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* More scholarly notes (ha-ha).Gravatar David Aspinall1998-10-29
* Added some notes about a putative academic paper on Proof GeneralGravatar David Aspinall1998-10-29
* Begun rewriting docsGravatar David Aspinall1998-10-28
* Added suggested outline for improved texiGravatar David Aspinall1998-10-26
* Added fume-func doc noteGravatar David Aspinall1998-10-23
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* Notes about things to put in docs.Gravatar David Aspinall1998-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 19:41:13 +0000