Sisyphus repository
Last update: 2017-06-23 09:06:12 +0400 | SRPMs: 17958 | 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: over 8 years ago
Size: 1.94 MB
Repocop status: ok

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

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

    - 3.7.1
    - fix url

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

    - new version

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

    - paths fixed

 
© 2009–2016 Igor Zubkov