blob: c5124ee6cc67cea39f96b1e76609270d7a4ad793 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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)
|
