Пакет ProofGeneral: Информация

    Бинарный пакет: ProofGeneral
    Версия: 3.7.1-alt1
    Архитектура: noarch
    Собран:  22 октября 2008 г. 2:41
    Исходный пакет: ProofGeneral
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Домашняя страница: http://proofgeneral.inf.ed.ac.uk/

    Лицензия: LFCS, University of Edinburgh
    О пакете: 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.

    Сопровождающий: Ilya Mashkin

    Список участников:
    Ilya Mashkin
    vsl

    Последнее изменение


    22 октября 2008 г. Ilya Mashkin 3.7.1-alt1
    - 3.7.1
    - fix url
    24 октября 2002 г. Vitaly Lugovsky <vsl@altlinux.ru> 3.4-alt1
    - new version
    26 июня 2002 г. Vitaly Lugovsky <vsl@altlinux.ru> 3.3-alt2
    - paths fixed