[MacPorts] Notification: howto/SetupProofGeneral added

[MacPorts]

Added page "howto/SetupProofGeneral" by mww at macports.org from 131.159.58.76*
Page URL: <http://trac.macports.org/wiki/howto/SetupProofGeneral>
Comment: 
Content:

[wiki:howto <- Back to the HOWTO section]

= Setup ProofGeneral and Isabelle =

 * Audience: TODO
 * Requires: MacPorts >=TODO

== Introduction ==

TODO

== Installation ==

=== Step 1: '''TODO: Step 1 title''' ===

TODO

== Configuration ==

TODO

== Optional Parts ==

=== '''TODO: What else can be done?''' ===

[wiki:howto <- Back to the HOWTO section]


* The IP shown here might not mean anything if the user is behind a proxy.

-- 
MacPorts <http://www.macports.org/>
Ports system for Mac OS