diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2017-01-17 16:52:10 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2017-01-17 16:58:01 +0100 |
| commit | 31a5f3f036d5c15931d7901368b49c60988e9c4e (patch) | |
| tree | f98df50ee823797eed1523c7d82c5c243e6c1935 /generic | |
| parent | 5bb74282037a34098408ab3d01e9a11318cb8351 (diff) | |
move phox from main to obscure instances
see http://proofgeneral.inf.ed.ac.uk/trac/ticket/434, when I
tried to download phox now, no link was working...
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 48a2bdae..671c3c82 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -39,11 +39,11 @@ (isar "Isabelle" "thy") (coq "Coq" "v" nil (".vo" ".glob")) - (phox "PhoX" "phx") (easycrypt "EasyCrypt" "ec" ".*\\.eca?") ;; Obscure instances or conflict with other Emacs modes. + ;; (phox "PhoX" "phx") ;; (lego "LEGO" "l") ;; (ccc "CASL Consistency Checker" "ccc") |