Репозитории ALT
Группа :: Науки/Математика
Пакет: ProofGeneral
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 3.7.1-alt1
Время сборки: 21 октября 2008, 21:44 ( 811.3 недели назад )
Размер архива: 1991.12 Kb
Домашняя страница: 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
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 21 октября 2008, 21:44 ( 811.3 недели назад )
Размер архива: 1991.12 Kb
Домашняя страница: 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.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- ProofGeneral