Balík: acl2-emacs (8.0dfsg-1)

Odkazy pre acl2-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.

Značky: Software Development: Interpreter, Lisp Development, Pole: field::mathematics, implemented-in::lisp, User Interface: Príkazový riadok, Role: role::plugin, role::program, Balík aplikácií: Emacs, Purpose: Editory, Works with: Source Code

dep: acl2 (>= 8.0dfsg-1)

Computational Logic for Applicative Common Lisp - hlavný binárny súbor
dep: emacs25

GNU Emacs - prechodový balík na emacs-gtk

alebo emacsen

virtuálny balík poskytovaný balíkom emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: tex-common (>= 6)

spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	66.0 kB	286.0 kB	[zoznam súborov]