wiki:howto/SetupProofGeneral

Version 1 (modified by mww@…, 16 years ago) (diff)

--

<- 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?

<- Back to the HOWTO section