diff options
Diffstat (limited to 'generic/proof-system.el')
| -rw-r--r-- | generic/proof-system.el | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/generic/proof-system.el b/generic/proof-system.el new file mode 100644 index 00000000..c5124ee6 --- /dev/null +++ b/generic/proof-system.el @@ -0,0 +1,20 @@ +;; proof-system.el Proof General functions for interfacing with proof system. +;; +;; Copyright (C) 2000 LFCS Edinburgh. +;; Author: David Aspinall <da@dcs.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)
\ No newline at end of file |