Pakiet: acl2-emacs (8.0dfsg-1)

Odnośniki dla acl2-emacs

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet zawiera interfejs Emacsa do ACL2.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, implemented-in::lisp, Interfejs użytkownika: Wiersz poleceń, Rola: role::plugin, role::program, Zestaw oprogramowania: Emacs, Przeznaczenie: Edytowanie, Działa z: Kod źródłowy

dep: acl2 (>= 8.0dfsg-1)

Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
dep: emacs25

GNU Emacs transitional package to emacs-gtk

lub emacsen

pakiet wirtualny udostępniany przez emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: tex-common (>= 6)

Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	66,0 KiB	286,0 KiB	[lista plików]