From 2be75c8ee0bafcf9534bd6bb13739b0f37b343d9 Mon Sep 17 00:00:00 2001
From: cvs2git
Date: Wed, 19 Feb 2003 13:02:18 +0000
Subject: This commit was manufactured by cvs2git to create branch 'xsym'.

Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
    x-symbol/README.ProofGeneral---
 x-symbol/README.ProofGeneral | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 x-symbol/README.ProofGeneral

diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.ProofGeneral
new file mode 100644
index 00000000..62dad2ed
--- /dev/null
+++ b/x-symbol/README.ProofGeneral
@@ -0,0 +1,7 @@
+The code in this directory is taken from  
+
+	http://x-symbol.sourceforge.net/
+
+This is version XXXX
+
+No changes have been made for Proof General. 
-- 
cgit v1.2.3

-- 
cgit v1.2.3


From 1365bedaf53cec4c258e59f7efe6c073d5b9a86d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 26 Feb 2003 11:41:19 +0000
Subject: Version 4.5 (beta?) sent by CW, as a package distrib.

---
 x-symbol/lisp/x-symbol-bib.el  | 6 +-----
 x-symbol/lisp/x-symbol-sgml.el | 4 ----
 x-symbol/lisp/x-symbol-texi.el | 5 -----
 3 files changed, 1 insertion(+), 14 deletions(-)

diff --git a/x-symbol/lisp/x-symbol-bib.el b/x-symbol/lisp/x-symbol-bib.el
index 4e7c7893..9f2fabc0 100644
--- a/x-symbol/lisp/x-symbol-bib.el
+++ b/x-symbol/lisp/x-symbol-bib.el
@@ -88,14 +88,10 @@ See `x-symbol-language-access-alist' for details."
     :encode-spec (?\\ (math . "[a-z@-Z]"))
     :decode-regexp "\\\\\\(?:[@A-Za-z]+\\|[-{}#_&]\\)\\|{\\\\\\(?:[ckvuHr]\\(?: [A-Za-z]\\|{}\\|\\\\ \\)\\|[@A-Za-z]+\\|[.~^\"'`=]\\(?:[A-Za-z]\\|{}\\|\\\\[ij]\\)\\)}"
     :decode-spec (?\\)
+    :input-spec (?\\ (math . "[a-z@-Z]"))
     :token-list x-symbol-bib-default-token-list)
   "Token grammar for language `bib'.")
 
-(defvar x-symbol-bib-input-token-grammar
-  '("\\\\\\(?:[@A-Za-z]+\\|[-{}#_&]\\)\\'\\|{\\\\\\(?:[ckvuHr]\\(?: [A-Za-z]\\|{}\\|\\\\ \\)\\|[@A-Za-z]+\\|[.~^\"'`=]\\(?:[A-Za-z]\\|{}\\|\\\\[ij]\\)\\)}\\'"
-    ?\\ (math . "[a-z@-Z]"))
-  "Grammar of input method Token for language `bib'.")
-
 (defvar x-symbol-bib-required-fonts x-symbol-tex-required-fonts
   "List of features providing fonts for language `bib'.")
 
diff --git a/x-symbol/lisp/x-symbol-sgml.el b/x-symbol/lisp/x-symbol-sgml.el
index 0b862f34..8bb89844 100644
--- a/x-symbol/lisp/x-symbol-sgml.el
+++ b/x-symbol/lisp/x-symbol-sgml.el
@@ -149,10 +149,6 @@ is the Unicode value.  See `x-symbol-init-language',
     :token-list x-symbol-sgml-default-token-list)
   "Token grammar for language `sgml'.")
 
-(defvar x-symbol-sgml-input-token-grammar
-  '("&[#0-9A-Za-z]+;\\'")
-  "Grammar of input method Token for language `sgml'.")
-
 (defvar x-symbol-sgml-user-table nil
   "User table defining SGML entities, used in `x-symbol-sgml-table'.")
 
diff --git a/x-symbol/lisp/x-symbol-texi.el b/x-symbol/lisp/x-symbol-texi.el
index aab3e35e..cad7885a 100644
--- a/x-symbol/lisp/x-symbol-texi.el
+++ b/x-symbol/lisp/x-symbol-texi.el
@@ -100,11 +100,6 @@ See `x-symbol-language-access-alist' for details."
     :decode-spec (?@))
   "Token grammar for language `texi'.")
 
-(defvar x-symbol-texi-input-token-grammar
-  '("@\\(?:[A-Za-z]+{[A-Za-z]?}\\|[{}]\\|[~^\"'`][A-Za-z]\\|,{[A-Za-z]}\\)\\'"
-    ?@)
-  "Grammar of input method Token for language `texi'.")
-
 (defvar x-symbol-texi-user-table nil
   "User table defining TeXinfo commands, used in `x-symbol-texi-table'.")
 
-- 
cgit v1.2.3