From 31a5f3f036d5c15931d7901368b49c60988e9c4e Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 17 Jan 2017 16:52:10 +0100 Subject: 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... --- generic/proof-site.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') 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") -- cgit v1.2.3