From 48261a5e6152f57d76d26cab49277ecc25765bc3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 17:58:02 +0000
Subject: Deleted file

---
 generic/proof-system.el | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 generic/proof-system.el

diff --git a/generic/proof-system.el b/generic/proof-system.el
deleted file mode 100644
index a334e82a..00000000
--- a/generic/proof-system.el
+++ /dev/null
@@ -1,20 +0,0 @@
-;; proof-system.el   Proof General functions for interfacing with proof system.
-;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
-;; Author:      David Aspinall <David.Aspinall@ed.ac.uk>
-;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
-;;
-;; $Id$
-;;
-;; New in 3.2.  This file contains code for communicating settings 
-;; maintained in Proof General with the underlying proof system,
-;; and code for buiding useful prover specific commands.
-;;
-
-(require 'proof-config)
-
-;; Ooops!  Nothing here now.  Now in proof-menu.el
-
-
-;; End of proof-system.el
-(provide 'proof-system)
-- 
cgit v1.2.3