Sisyphus repository
Last update: 17 december 2017 | SRPMs: 18242 | Visits: 10587154
en ru br
ALT Linux repos
S:3.7.1-alt1
5.0: 3.7.1-alt1
4.1: 3.4-alt1
4.0: 3.4-alt1
3.0: 3.4-alt1

Group :: Sciences/Mathematics
RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 3.7.1-alt1
Build date: 21 october 2008, 21:44 ( 477.7 weeks ago )
Size: 1991.12 Kb

Home page:   http://proofgeneral.inf.ed.ac.uk/

License: LFCS, University of Edinburgh
Summary: Emacs interface for Proof Assistants
Description:


Proof General is a generic Emacs interface for proof assistants,
suitable for use by pacifists and Emacs militants alike.
It is supplied ready-customized for LEGO, Coq, and Isabelle.

Current maintainer: Ilya Mashkin

List of contributors

List of rpms provided by this srpm:

  • ProofGeneral
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin