Admin/proofgeneral/proofgeneral.spec
author wenzelm
Mon, 11 Sep 2000 20:44:53 +0200
changeset 9929 75df69217b57
child 10027 65ab57cff787
permissions -rw-r--r--
simple RPM spec for in-situ package;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     1
Summary:	Proof General, Emacs interface for Proof Assistants
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     2
Name:		proofgeneral
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     3
Version:	3.2pre
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     4
Release:	1
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     5
Group:		Applications/Editors/Emacs
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     6
Copyright:	LFCS, University of Edinburgh
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     7
Url:		http://www.lfcs.informatics.ed.ac.uk/proofgen
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     8
Packager:	Markus Wenzel <wenzelm@in.tum.de>
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     9
Prefix:		/usr/share
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    10
BuildArchitectures: noarch
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    11
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    12
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    13
%description
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    14
Proof General is a generic Emacs interface for proof assistants,
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    15
suitable for use by pacifists and Emacs militants alike.
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    16
It is supplied ready-customized for LEGO, Coq, and Isabelle.
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    17
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    18
This distribution of Proof General is intended to be used together
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    19
with Isabelle and Proof General.  It relies on Isabelle's automatic
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    20
configuration of contributed packages.
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    21
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    22
%files
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    23
%attr(-,root,root) /usr/share/ProofGeneral