Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/xsymbol/xsymbol.spec
changeset 9947 725a1ad81e94
parent 9926 bc2c0a26bd04 
--- 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:'
isabelle