[ bullseye ]

[ Source: acl2 ]

Package: acl2-emacs (8.3dfsg-2)

Links for acl2-emacs

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

Computational logik for Applicative Common Lisp - emacs-grænseflade

ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.

Denne pakke indeholder en emacs-grænseflade for ACL2.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, Role: role::plugin, role::program, Application Suite: Emacs, Purpose: Editing, Works with: Source Code

Other Packages Related to acl2-emacs

depends

recommends

suggests

enhances

dep: acl2 (>= 8.3dfsg-2)

Beregningslogik for Applicative Common Lisp - hoved binær fil
dep: emacs-gtk

GNU Emacs-redigeringsværktøjet - med GTK+-grafisk brugerflade

or emacsen

virtual package provided by emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: tex-common (>= 6.13)

Fælles infrastruktur for bygning og installation af TeX

Download acl2-emacs

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