Changes between Initial Version and Version 1 of howto/SetupProofGeneral
- Timestamp:
- Jun 5, 2008, 9:23:42 AM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
howto/SetupProofGeneral
v1 v1 1 [wiki:howto <- Back to the HOWTO section] 2 3 = Setup ProofGeneral and Isabelle = 4 5 * Audience: TODO 6 * Requires: MacPorts >=TODO 7 8 == Introduction == 9 10 TODO 11 12 == Installation == 13 14 === Step 1: '''TODO: Step 1 title''' === 15 16 TODO 17 18 == Configuration == 19 20 TODO 21 22 == Optional Parts == 23 24 === '''TODO: What else can be done?''' === 25 26 [wiki:howto <- Back to the HOWTO section]