# HG changeset patch
# User wenzelm
# Date 968876846 -7200
# Node ID 725a1ad81e947aaaea766dfd6d5f8ab70a84dc89
# Parent  bca0749bb907396ba9d98351abdadcb12f6ed341
updated to 3.3d;

diff -r bca0749bb907 -r 725a1ad81e94 Admin/xsymbol/xsymbol.spec
--- a/Admin/xsymbol/xsymbol.spec	Wed Sep 13 22:27:10 2000 +0200
+++ b/Admin/xsymbol/xsymbol.spec	Wed Sep 13 22:27:26 2000 +0200
@@ -1,7 +1,7 @@
 Summary:	X-Symbol mode for XEmacs to display mathematical symbols
 Name:		xsymbol
-Version:	3.3
-Release:	2
+Version:	3.3d
+Release:	1
 Group:		Applications/Editors/Emacs
 Copyright:	GPL
 Url:		http://www.fmi.uni-passau.de/~wedler/x-symbol/
@@ -25,7 +25,8 @@
 
 This distribution of X-Symbol is intended to be used together with
 Isabelle and Proof General.  It relies on Isabelle's automatic
-configuration of contributed packages.
+configuration of contributed packages.  Please ignore the installation
+instructions of X-Symbol!
 
 %prep
 find /usr/share/x-symbol -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'