diff options
| author | David Aspinall | 1998-12-18 17:58:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-18 17:58:39 +0000 |
| commit | 198d4aa1a7ee2b1decd9f0a59a31942211696559 (patch) | |
| tree | 5a77e9a9b001c25886b24d36285ce688601db1fb /generic/proof.el | |
| parent | c9655068de9864e08eb5bff5061a5cb83bed8c02 (diff) | |
Beginnings of x-symbol support.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index de9ab683..a3d65ba9 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -27,6 +27,8 @@ (require 'proof-splash) ; splash screen +(require 'proof-x-symbol) ; support for x-symbol + ;;; ;;; Emacs libraries ;;; |