| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |