Пакет: acl2-emacs (3.6-1)

Ссылки для acl2-emacs

Исходный код acl2:

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains an emacs interface to ACL2.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, Область: Математика, Реализовано на: Lisp, Пользовательский интерфейс: Командная строка, Роль: Модуль, Комплект приложений: Emacs, Цель: Редактирование, Работает с: Исходный код

dep: acl2 (>= 3.6-1)

вычислительная логика для прикладного Common Lisp: главные файлы
dep: emacs22

текстовый редактор GNU Emacs
также виртуальный пакет, предоставляемый emacs22-gtk, emacs22-nox

или emacsen

виртуальный пакет, предоставляемый emacs, emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
all	56,2 Кб	308 Кб	[список файлов]