Changes between Version 1 and Version 2 of howto/SetupProofGeneral
- Timestamp:
- Jun 5, 2008, 10:25:24 AM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
howto/SetupProofGeneral
v1 v2 3 3 = Setup ProofGeneral and Isabelle = 4 4 5 * Audience: TODO6 * Requires: MacPorts >= TODO5 * Audience: Scientists/Programmers who want to use Isabellewith ProofGeneral 6 * Requires: MacPorts >=1.6 7 7 8 8 == Introduction == 9 9 10 TODO 10 Setting up ProofGeneral and Isabelle can be tedious. This should provide some hints how to do to a setup with MacPorts. 11 11 12 12 == Installation == 13 13 14 === Step 1: '''TODO: Step 1 title''' === 15 16 TODO 14 === Step 1: '''Install Isabelle''' === 15 {{{ 16 sudo port install isabelle 17 }}} 18 This will also install poly/ML for you. 19 === Step 2: '''Install ProofGeneral''' === 20 {{{ 21 sudo port install ProofGeneral 22 }}} 17 23 18 24 == Configuration == 19 25 20 TODO 26 Add the following lines to your {{{~/.emacs}}} file: 27 {{{ 28 ; add the MacPorts path to the search path so that emacs will find isabelle and isatool 29 (setenv "PATH" (concat (getenv "PATH") "/opt/local/bin")) 30 (setq exec-path (cons "/opt/local/bin" exec-path)) 31 ; load the ProofGeneral configuration 32 (load-file "/opt/local/share/ProofGeneral/generic/proof-site.el") 33 }}} 21 34 22 35 == Optional Parts == 36 Depending on which version of Emacs you plan to use, add the following lines to {{{~/.emacs}}}, too, to enable support for special symbols like quantors or the lambda symbol: 37 * Carbon Emacs: 38 {{{ 39 (custom-set-variables 40 '(isar-unicode-tokens-enable t) 41 '(isar-x-symbol-enable nil) 42 '(load-home-init-file t t) 43 '(proof-three-window-enable t)) 44 }}} 45 * XEmacs, Emacs with GNOME/X11 bindings: 46 {{{ 47 (custom-set-variables 48 '(isar-unicode-tokens-enable nil) 49 '(isar-x-symbol-enable t) 50 '(load-home-init-file t t) 51 '(proof-three-window-enable t)) 52 }}} 23 53 24 54 === '''TODO: What else can be done?''' === 55 * Install e for sledgehammer 25 56 26 57 [wiki:howto <- Back to the HOWTO section]