Mercurial Mercurial > repos > isabelle / annotate
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/proofgeneral/proofgeneral.spec
author wenzelm
Mon, 25 Sep 2000 16:50:59 +0200
changeset 10073 c9b2a57c0b09
parent 10027 65ab57cff787
child 10074 c9026e2420a1
permissions -rw-r--r--
tuned;
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
10073
wenzelm
parents: 10027
diff changeset 
     3
 
Version:	3.2pre000923
wenzelm
parents: 10027
diff changeset 
     4
 
Release:	1
9929
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


%description













75df69217b57
simple RPM spec for in-situ package;



wenzelm


parents: 

diff
changeset




    13


Proof General is a generic Emacs interface for proof assistants,








10073





wenzelm


parents: 
10027

diff
changeset




    14


suitable for use by pacifists and Emacs militants alike.  It is












wenzelm


parents: 
10027

diff
changeset




    15


supplied ready-customized for LEGO, Coq, and Isabelle.








9929






75df69217b57
simple RPM spec for in-situ package;



wenzelm


parents: 

diff
changeset




    16









10027





wenzelm


parents: 
9929

diff
changeset




    17


%prep








10073





wenzelm


parents: 
10027

diff
changeset




    18


find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'








10027





wenzelm


parents: 
9929

diff
changeset




    19









9929






75df69217b57
simple RPM spec for in-situ package;



wenzelm


parents: 

diff
changeset




    20


%files













75df69217b57
simple RPM spec for in-situ package;



wenzelm


parents: 

diff
changeset




    21


%attr(-,root,root) /usr/share/ProofGeneral








10073





wenzelm


parents: 
10027

diff
changeset




    22


%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923















isabelle