Admin/proofgeneral/proofgeneral.spec
changeset 9929 75df69217b57
child 10027 65ab57cff787
equal deleted inserted replaced
9928:b7698bd95a94 9929:75df69217b57
       
     1 Summary:	Proof General, Emacs interface for Proof Assistants
       
     2 Name:		proofgeneral
       
     3 Version:	3.2pre
       
     4 Release:	1
       
     5 Group:		Applications/Editors/Emacs
       
     6 Copyright:	LFCS, University of Edinburgh
       
     7 Url:		http://www.lfcs.informatics.ed.ac.uk/proofgen
       
     8 Packager:	Markus Wenzel <wenzelm@in.tum.de>
       
     9 Prefix:		/usr/share
       
    10 BuildArchitectures: noarch
       
    11 
       
    12 
       
    13 %description
       
    14 Proof General is a generic Emacs interface for proof assistants,
       
    15 suitable for use by pacifists and Emacs militants alike.
       
    16 It is supplied ready-customized for LEGO, Coq, and Isabelle.
       
    17 
       
    18 This distribution of Proof General is intended to be used together
       
    19 with Isabelle and Proof General.  It relies on Isabelle's automatic
       
    20 configuration of contributed packages.
       
    21 
       
    22 %files
       
    23 %attr(-,root,root) /usr/share/ProofGeneral