diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-05-03 13:16:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-05-03 13:16:51 +0000 |
| commit | d2929e3aa8c2db517947fe258b67391346c925a0 (patch) | |
| tree | ca4802033924759096e9d78bb3c206a6a793fec5 /generic | |
| parent | 69bab8757dc567964579b1923553d8ebe2260a3e (diff) | |
Fix loading order to load Isar before Isa
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index a2352199..123f359a 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -44,10 +44,8 @@ ;; export PROOFGENERAL_ASSISTANTS=isar ;; (demoisa "Isabelle Demo" "\\.ML$") - (isar "Isabelle/Isar" "\\.thy$") (isa "Isabelle" "\\.ML$\\|\\.thy$") - ;; Next line for testing only - ;; (pgip "PGIP/Isa" "\\.ML$\\|\\.thy$") + (isar "Isabelle/Isar" "\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$") (phox "PhoX" "\\.phx$") @@ -56,9 +54,11 @@ ;; (please volunteer to improve them!) (hol98 "HOL" "\\.sml$") (acl2 "ACL2" "\\.acl2$") + (twelf "Twelf" "\\.elf$") ;; The following provers have experimental support (plastic "Plastic" "\\.lf$") - (twelf "Twelf" "\\.elf$") + ;; Next line for testing only + ;; (pgip "PGIP/Isa" "\\.ML$\\|\\.thy$") ) "*Proof General's table of supported proof assistants. Extend this table to add a new proof assistant. @@ -309,7 +309,7 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; WARNING: do not edit below here ;; (the next constant is set automatically, also its form is ;; relied upon in proof-config.el, for proof-splash-contents) -(defconst proof-general-version "Proof General Version 3.4pre020423. Released by da." +(defconst proof-general-version "Proof General Version 3.4pre020322. Released by da." "Version string identifying Proof General release.") ;; Now define a few autoloads and basic variables. |