Package: acl2-emacs (3.1-1)

Links for acl2-emacs

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

A Computational Logic para Aplicative Common Lisp: interface emacs

ACL2 é tanto uma linguagem de programação na qual você pode modelar sistemas de computador quanto uma ferramenta para ajudar você a provar propriedades desses modelos.

Este pacote contém uma interface emacs para ACL2.

Tags: Software Development: Interpreter, Lisp Development, Field: Mathematics, Implemented in: Lisp, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Editing, Works with: Source Code

Other Packages Related to acl2-emacs

depends

recommends

suggests

dep: acl2 (= 3.1-1)

A Computational Logic para Aplicative Common List: binário principal
dep: emacs21

O editor Emacs GNU
also a virtual package provided by emacs21-nox

or emacsen

O editor Emacs GNU virtual package provided by emacs, emacs21, emacs21-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

Download acl2-emacs

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	49.4 kB	284 kB	[list of files]