Version 1 (modified by mww@…, 16 years ago) (diff) |
---|
Setup ProofGeneral and Isabelle
- Audience: TODO
- Requires: MacPorts >=TODO
Introduction
TODO
Installation
Step 1: TODO: Step 1 title
TODO
Configuration
TODO
Version 1 (modified by mww@…, 16 years ago) (diff) |
---|
TODO
TODO
TODO