package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17

Folder: xdoc

d .. (parent)
d d rwxr-xr-x 63 centaur
d d rwxr-xr-x 4,096 classic
d d rwxr-xr-x 4,096 fancy
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 1,485 acl2-customization.lsp
- - rw-r--r-- 2,042 all.lisp
- - rw-r--r-- 6,901 alter.lisp
- - rw-r--r-- 16,703 autolink.lisp
- - rw-r--r-- 1,607 base.acl2
- - rw-r--r-- 6,150 base.lisp
- - rw-r--r-- 1,855 book-thms-example.lisp
- - rw-r--r-- 1,532 book-thms.acl2
- - rw-r--r-- 9,856 book-thms.lisp
- - rw-r--r-- 1,557 cert.acl2
- - rw-r--r-- 2,261 debug.lisp
- - rw-r--r-- 3,089 defxdoc-raw-impl.lsp
- - rw-r--r-- 1,989 defxdoc-raw.lisp
- - rw-r--r-- 22,138 display.lisp
- - rwxr-xr-x 232 emacsclient-wrapper.sh
- - rw-r--r-- 4,713 fmt-to-str-orig.lisp
- - rw-r--r-- 2,174 fmt-to-str.lisp
- - rw-r--r-- 12,046 import-acl2doc.lisp
- - rw-r--r-- 35,176 importance.lisp
- - rw-r--r-- 7,537 linkcheck.lisp
- - rw-r--r-- 7,993 names.lisp
- - rw-r--r-- 16,507 parse-xml.lisp
- - rw-r--r-- 11,555 prepare-topic.lisp
- - rw-r--r-- 52,666 preprocess.lisp
- - rw-r--r-- 1,552 save-classic.acl2
- - rw-r--r-- 19,469 save-classic.lisp
- - rw-r--r-- 1,608 save-fancy.acl2
- - rw-r--r-- 19,446 save-fancy.lisp
- - rw-r--r-- 4,731 save.lisp
- - rw-r--r-- 14,972 spellcheck.lisp
- - rw-r--r-- 10,276 str.lisp
- - rw-r--r-- 1,604 top.acl2
- - rw-r--r-- 20,900 top.lisp
- - rw-r--r-- 54,208 topics.lisp
- - rw-r--r-- 4,032 unsound-eval-raw.lsp
- - rw-r--r-- 1,676 unsound-eval.acl2
- - rw-r--r-- 3,935 unsound-eval.lisp
- - rw-r--r-- 1,762 verbosep.lisp
- - rw-r--r-- 4,222 word-wrap.lisp
- - rw-r--r-- 2,159 xdoc.el
- - rw-r--r-- 1,499 xtopic.lisp