From e40db778de4fe20cd8eeccea9038bf3bbb1c6003 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 25 Aug 2010 16:44:06 +0000
Subject: Remove obsolete provers

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e2a8f5de..92b91969 100644
--- a/Makefile
+++ b/Makefile
@@ -35,9 +35,8 @@ DEST_PREFIX=/usr
 
 PWD=$(shell pwd)
 
-PROVERS=acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic
+PROVERS=acl2 ccc coq hol98 isar lego pgshell phox
 OTHER_ELISP=generic lib mmm
-IGNORED_ELISP=twelf
 ELISP_DIRS=${PROVERS} ${OTHER_ELISP}
 ELISP_EXTRAS=isar/interface isar/isartags
 EXTRA_DIRS = images
-- 
cgit v1.2.3