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