Admin/xsymbol/xsymbol.spec
author wenzelm
Tue, 16 Jan 2001 00:33:40 +0100
changeset 10911 eb5721204b38
parent 9947 725a1ad81e94
permissions -rw-r--r--
proper induction rule for arbitrarily branching datatype;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9926
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     1
Summary:	X-Symbol mode for XEmacs to display mathematical symbols
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     2
Name:		xsymbol
9947
725a1ad81e94 updated to 3.3d;
wenzelm
parents: 9926
diff changeset
     3
Version:	3.3d
725a1ad81e94 updated to 3.3d;
wenzelm
parents: 9926
diff changeset
     4
Release:	1
9926
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     5
Group:		Applications/Editors/Emacs
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     6
Copyright:	GPL
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     7
Url:		http://www.fmi.uni-passau.de/~wedler/x-symbol/
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     8
Packager:	Markus Wenzel <wenzelm@in.tum.de>
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     9
Prefix:		/usr/share
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    10
BuildArchitectures: noarch
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    11
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    12
%description
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    13
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    14
X-Symbol is an XEmacs package providing semi-WYSIWYG for LaTeX, HTML
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    15
and other ``token languages''.  It uses additional fonts and provide
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    16
input methods to insert their characters into your document.
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    17
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    18
The main purpose of package X-Symbol is to provide some WYSIWYGness in
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    19
an area where it greatly enhance the readability of your LaTeX or HTML
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    20
source: using "real" characters for "tokens" like \oplus or &#8482;.
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    21
It also provides input methods for these characters, both for the
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    22
beginner and the expert (some users regard this as the main reason to
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    23
use package X-Symbol). WYSIWYG super- and subscripts and
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    24
images/figures are also supported.
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    25
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    26
This distribution of X-Symbol is intended to be used together with
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    27
Isabelle and Proof General.  It relies on Isabelle's automatic
9947
725a1ad81e94 updated to 3.3d;
wenzelm
parents: 9926
diff changeset
    28
configuration of contributed packages.  Please ignore the installation
725a1ad81e94 updated to 3.3d;
wenzelm
parents: 9926
diff changeset
    29
instructions of X-Symbol!
9926
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    30
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    31
%prep
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    32
find /usr/share/x-symbol -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    33
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    34
%files
bc2c0a26bd04 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    35
%attr(-,root,root) /usr/share/x-symbol