| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-11-05 | completed chapter on Known bugs. However section on Isabelle Proof | Thomas Kleymann |
| 1998-11-05 | completed chapter on LEGO Proof General | Thomas Kleymann |
| 1998-11-04 | Revised section on Advanced Script Management | Thomas Kleymann |
| 1998-11-03 | Began documentation of options, plus other things | David Aspinall |
| 1998-11-03 | Minor improvements | David Aspinall |
| 1998-11-02 | Updated NewDoc contents and added chapter assignments | David Aspinall |
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann |
| 1998-10-29 | More scholarly notes (ha-ha). | David Aspinall |
| 1998-10-29 | Added some notes about a putative academic paper on Proof General | David Aspinall |
| 1998-10-28 | Begun rewriting docs | David Aspinall |
| 1998-10-26 | Added suggested outline for improved texi | David Aspinall |
| 1998-10-23 | Added fume-func doc note | David Aspinall |
| 1998-10-22 | Added notes on Isa multi files, web page improvements | David Aspinall |
| 1998-10-12 | Notes about things to put in docs. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |