Package: acl2-emacs (3.1-1)

Links for acl2-emacs

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

Una lógica informática para «Applicative Common Lisp»: interfaz para emacs

ACL2 es tanto un lenguaje de programación en el que puede modelar sistemas informáticos como una herramienta para ayudarle a probar propiedades de esos modelos.

Este paquete contiene la interfaz de 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)

Una lógica informática para «Applicative Common Lisp»: binario principal
dep: emacs21

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

or emacsen

El editor Emacs de 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]