diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:51:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:51:12 +0000 |
commit | e56e50e8e4cade271cae6f34cc6858d5146b0216 (patch) | |
tree | 59a9f113ba9784d77b58d4218a53800fe68adade /generic | |
parent | 9a84955c7d121c6250aa09c6b005e28907757b2c (diff) |
Require on scomint
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-unicode-tokens.el | 3 | ||||
-rw-r--r-- | generic/proof-utils.el | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index af327784..5c3fd91d 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -1,6 +1,6 @@ ;;; proof-unicode-tokens.el --- Support Unicode tokens package ;; -;; Copyright (C) 2008 David Aspinall / LFCS Edinburgh +;; Copyright (C) 2008, 2009 David Aspinall / LFCS Edinburgh ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -20,6 +20,7 @@ (eval-when-compile (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant + (require 'scomint) ; scomint-check-proc (require 'cl)) (eval-when (compile) diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 818242f4..ef068a5b 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -1,6 +1,6 @@ ;; proof-utils.el --- Proof General utility functions and macros ;; -;; Copyright (C) 1998-2002 LFCS Edinburgh. +;; Copyright (C) 1998-2002, 2009 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -15,6 +15,7 @@ ;; (require 'proof-site) ; basic vars +(require 'scomint) ; scomint-check-proc ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |