[ Zdroj: acl2 ]
Balík: elpa-acl2 (8.5dfsg-5)
Odkazy pre elpa-acl2
Zdroje Debian:
Stiahnuť zdrojový balík acl2:
Správca:
Externé zdroje:
- Domovská stránka [www.cs.utexas.edu]
Podobné balíky:
Computational Logic for Applicative Common Lisp - rozhranie pre Emacs
ACL2 je jednak programovací jazyk, v ktorom môžete modelovať počítačové systémy a jednak nástroj, ktorý vám pomôže dokázať vlastnosti týchto modelov.
Tento balík poskytuje rozhranie k ACL2 pre Emacs.
Ostatné balíky súvisiace s balíkom elpa-acl2
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-5)
- Computational Logic for Applicative Common Lisp - hlavný binárny súbor
-
- dep: dh-elpa-helper
- helper package for emacs lisp extensions
-
- dep: emacs-gtk
- GNU Emacs editor (with GTK+ GUI support)
- alebo emacsen
- virtuálny balík poskytovaný balíkom emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- dep: emacsen-common
- spoločné súčasti pre všetky varianty emac
-
- dep: tex-common (>= 6.13)
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
Stiahnuť elpa-acl2
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 69.0 kB | 349.0 kB | [zoznam súborov] |