Package ProofGeneral: Information

    Source package: ProofGeneral
    Version: 3.7.1-alt1
    Build time:  Jun 16, 2019, 06:21 PM
    Category: Sciences/Mathematics
    Report package bug
    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.
    List of RPM packages built from this SRPM:
    ProofGeneral (noarch)
    Maintainer: Ilya Mashkin
    List of contributors:
    Ilya Mashkin
    vsl

    Last changed

    Oct. 22, 2008 Ilya Mashkin 3.7.1-alt1
    - 3.7.1
- fix url
    Oct. 24, 2002 Vitaly Lugovsky <vsl@altlinux.ru> 3.4-alt1
    - new version
    June 26, 2002 Vitaly Lugovsky <vsl@altlinux.ru> 3.3-alt2
    - paths fixed
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.12.2
    Back to top