[ sarge ] [ etch ] [ etch-m68k ] [ lenny ] [ sid ]

[ 源代码: acl2 ]

软件包: acl2-emacs (3.1-1)

acl2-emacs 的相关链接

Debian 的资源:

下载源码包 acl2:

维护者:

Camm Maguire (QA Page)

相似软件包:

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.

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

其它与 acl2-emacs 有关的软件包

依赖

推荐

建议

dep: acl2 (= 3.1-1)

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

GNU Emacs 编辑器
同时作为一个虚包由这些包填实: emacs21-nox

或者 emacsen

GNU Emacs 编辑器本虚包由这些包填实: emacs, emacs21, emacs21-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

下载 acl2-emacs

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	49.4 kB	284 kB	[文件列表]