>> Ubuntu >> Packages >> feisty >> math >> acl2-emacs

[ dapper ] [ feisty ] [ gutsy ] [ hardy ] [ intrepid ] [ jaunty ]

[ Source: acl2 ]

Package: acl2-emacs (3.1-1) [universe]

Links for acl2-emacs

Ubuntu Resources:

Download Source Package acl2:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

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.

Other Packages Related to acl2-emacs

depends

recommends

suggests

dep: acl2 (= 3.1-1)

A Computational Logic for Applicative Common Lisp: main binary
dep: emacs21

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

or emacsen

virtual package provided by emacs, emacs-snapshot, emacs-snapshot-gtk, emacs-snapshot-nox, 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]