Репозитории ALT
Группа :: Науки/Математика
Пакет: ProofGeneral
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 3.4-alt1
Время сборки: 25 октября 2002, 17:27 ( 1123.9 недели назад )
Размер архива: 748.27 Kb
Домашняя страница: http://www.proofgeneral.org/
Лицензия: 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.
Текущий майнтейнер: Vitaly Lugovsky
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 25 октября 2002, 17:27 ( 1123.9 недели назад )
Размер архива: 748.27 Kb
Домашняя страница: http://www.proofgeneral.org/
Лицензия: 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