| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-26 | Renamed file | David Aspinall | |
| 1999-06-24 | Updates | David Aspinall | |
| 1999-01-12 | Mention of continued-input prompt as API guidline. | David Aspinall | |
| 1998-11-05 | completed chapter on Known bugs. However section on Isabelle Proof | Thomas Kleymann | |
| General specific bugs is still missing. | |||
| 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 | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 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 |