Пакет: acl2-emacs (4.0-3)

[ Источник: acl2  ]

A Computational Logic for Applicative Common Lisp: emacs interface

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, Цель: Редактирование, Работает с: Исходный код

Другие пакеты, относящиеся к acl2-emacs

• dep: acl2 (>= 4.0-3)

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

• dep: emacs23

  текстовый редактор GNU Emacs (с интерфейсом GTK+)
  также виртуальный пакет, предоставляемый emacs23-lucid, emacs23-nox

  или emacsen

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

Загрузка acl2-emacs

Загрузить для всех доступных архитектур

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