aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-system.el
blob: 9a00cdec0e4376740edd4823efc038c7abc3ee5e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
;; proof-system.el   Proof General functions for interfacing with proof system.
;;
;; Copyright (C) 2000 LFCS Edinburgh. 
;;
;; Author:      David Aspinall <da@dcs.ed.ac.uk>
;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
;;
;; $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)