From ad2746d8a9c09b2832543c19e7f586e59ea3bf47 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Dec 2000 10:23:55 +0000
Subject: Testing line for PGIP.

---
 generic/proof-site.el | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 2890c22d..778e856e 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -46,6 +46,8 @@
     (demoisa    "Isabelle Demo"	"\\.ML$")
     (isar       "Isabelle/Isar" "\\.thy$")
     (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
+    ;; Next line for testing only
+    ;; (pgip	"PGIP/Isa"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$")
     (phox	"PhoX"		"\\.phx$")
@@ -310,13 +312,4 @@ Note: to change proof assistant, you must start a new Emacs session.")
  "Version string identifying Proof General release.")
 
 (provide 'proof-site))
-
 ;; proof-site.el ends here
-
-
-		 
-  
-
-
-      
-
-- 
cgit v1.2.3