Пакет ProofGeneral: Информация
Бинарный пакет: ProofGeneral
Версия: 3.7.1-alt1
Архитектура: noarch
Собран: 22 октября 2008 г. 2:41
Исходный пакет: ProofGeneral
Категория: Науки/Математика
Сообщить об ошибке в пакетеЗагрузка: ProofGeneral-3.7.1-alt1.noarch.rpm
Домашняя страница: 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
Последнее изменение
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