Sisyphus repository
Last update: 2018-10-17 10:08:49 +0400 | SRPMs: 18649 | Sign in or Sign up
en ru uk br
ALT Linux repositories
hide window
Sisyphus: 3.7.1-alt1
p8: 3.7.1-alt1
p7: 3.7.1-alt1
t7: 3.7.1-alt1
Platform6: 3.7.1-alt1
t6: 3.7.1-alt1
Platform5: 3.7.1-alt1
5.1: 3.7.1-alt1

Group :: Sciences/Mathematics
Source RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR (0/0)   Repocop 

Current version: 3.7.1-alt1
Built: almost 10 years ago
Size: 1.94 MB
Repocop status: ok

Home page:

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

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: ACL: List of rpms provided by this srpm:
  • ProofGeneral
Recent changes (last three changelog entries):

2008-10-22 Ilya Mashkin <oddity at> 3.7.1-alt1

    - 3.7.1
    - fix url

2002-10-24 Vitaly Lugovsky <vsl at> 3.4-alt1

    - new version

2002-06-26 Vitaly Lugovsky <vsl at> 3.3-alt2

    - paths fixed

© 2009–2018 Igor Zubkov