From 99a0f3993bae3b114cc9212feb412e6b6b17dd19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 13:51:43 +0000
Subject: Remove junk

---
 lib/unicode-tokens.el | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'lib')

diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el
index 2bc7f85f..abf4cc86 100644
--- a/lib/unicode-tokens.el
+++ b/lib/unicode-tokens.el
@@ -155,13 +155,6 @@ Also used as a flag to detect if `unicode-tokens-initialise' has been called.")
 ;;; Code:
 ;;
 
-(defface mathsym
-  '((t (:slant italic)))
-  "Face used for text that is an excerpt from another document.
-This is used in Enriched mode for text explicitly marked as an excerpt."
-  :group 'proofgeneral)
-
-
 (defun unicode-tokens-insert-char (arg codepoint)
   "Insert the Unicode character identified by CODEPOINT.
 If ARG is non-nil, ignore available glyphs."
-- 
cgit v1.2.3