package info (click to toggle)
acl2 6.5-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 108,856 kB
  • ctags: 110,136
  • sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17

Folder: 6.5-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 acl2-customization-files
d d rwxr-xr-x 4,096 books
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 94 emacs
d d rwxr-xr-x 4,096 graphics
d d rwxr-xr-x 4,096 installation
d d rwxr-xr-x 6 saved
- - rw-r--r-- 33,602 GNUmakefile
- - rw-r--r-- 1,927 LICENSE
- - rw-r--r-- 1,500 Makefile
- - rw-r--r-- 328,218 TAGS
- - rw-r--r-- 256 acl2-characters
- - rw-r--r-- 16,245 acl2-check.lisp
- - rw-r--r-- 68,092 acl2-fns.lisp
- - rw-r--r-- 86,525 acl2-init.lisp
- - rw-r--r-- 9 acl2-startup-info.txt
- - rw-r--r-- 102,406 acl2.lisp
- - rw-r--r-- 8,587 akcl-acl2-trace.lisp
- - rw-r--r-- 3,041 all-files.txt
- - rw-r--r-- 9,981 allegro-acl2-trace.lisp
- - rw-r--r-- 1,008,963 axioms.lisp
- - rw-r--r-- 383,416 basis.lisp
- - rw-r--r-- 134,347 bdd.lisp
- - rw-r--r-- 57,091 boot-strap-pass-2.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 27,699 defpkgs.lisp
- - rw-r--r-- 473,716 defthm.lisp
- - rw-r--r-- 413,518 defuns.lisp
- - rw-r--r-- 4,332,707 doc.lisp
- - rw-r--r-- 58,771 futures-raw.lisp
- - rw-r--r-- 748,157 history-management.lisp
- - rw-r--r-- 170,478 hons-raw.lisp
- - rw-r--r-- 9,334 hons.lisp
- - rw-r--r-- 141,580 induct.lisp
- - rw-r--r-- 4,381 init.lisp
- - rw-r--r-- 415,225 interface-raw.lisp
- - rw-r--r-- 199,800 ld.lisp
- - rw-r--r-- 152,790 linear-a.lisp
- - rw-r--r-- 38,383 linear-b.lisp
- - rw-r--r-- 5,355 mcl-acl2-startup.lisp
- - rw-r--r-- 165,631 memoize-raw.lisp
- - rw-r--r-- 16,259 memoize.lisp
- - rw-r--r-- 46,342 multi-threading-raw.lisp
- - rw-r--r-- 2,009 new.html
- - rw-r--r-- 41,825 non-linear.lisp
- - rw-r--r-- 8,602 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,381,765 other-events.lisp
- - rw-r--r-- 107,410 other-processes.lisp
- - rw-r--r-- 4,497 other-releases.html
- - rw-r--r-- 60,584 parallel-raw.lisp
- - rw-r--r-- 41,733 parallel.lisp
- - rw-r--r-- 64,717 proof-checker-a.lisp
- - rw-r--r-- 210,080 proof-checker-b.lisp
- - rw-r--r-- 904 proof-checker-pkg.lisp
- - rw-r--r-- 425,085 prove.lisp
- - rw-r--r-- 839,203 rewrite.lisp
- - rw-r--r-- 13,685 save-gprof.lsp
- - rw-r--r-- 68,245 serialize-raw.lisp
- - rw-r--r-- 4,313 serialize.lisp
- - rw-r--r-- 407,074 simplify.lisp
- - rw-r--r-- 585,671 tau.lisp
- - rw-r--r-- 406,075 translate.lisp
- - rw-r--r-- 38,273 type-set-a.lisp
- - rw-r--r-- 509,460 type-set-b.lisp
- - rw-r--r-- 7,567 workshops.html