Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37041331
en ru br
Репозитории ALT
S:3.7.1-alt1
5.1: 3.7.1-alt1
4.1: 3.4-alt1
4.0: 3.4-alt1
3.0: 3.4-alt1
www.altlinux.org/Changes

Группа :: Науки/Математика
Пакет: ProofGeneral

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 3.7.1-alt1
Время сборки: 21 октября 2008, 21:44 ( 805.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-пакетом:

  • ProofGeneral
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin