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: fancy

d .. (parent)
d d rwxr-xr-x 23 HTML
d d rwxr-xr-x 4,096 lib
- - rw-r--r-- 38 .gitignore
- - rw-r--r-- 122 .htaccess
- - rw-r--r-- 144 Icon_External_Link.png
- - rw-r--r-- 3,908 LICENSE
- - rw-r--r-- 606 Makefile
- - rw-r--r-- 4,889 README
- - rw-r--r-- 222 collapse_subtopics.png
- - rw-r--r-- 8,127 common.scss
- - rw-r--r-- 2,663 config.js
- - rw-r--r-- 8,568 desktop.css
- - rw-r--r-- 4,333 desktop.scss
- - rw-r--r-- 1,705 download.png
- - rw-r--r-- 278 expand_subtopics.png
- - rw-r--r-- 1,840 favicon.png
- - rw-r--r-- 2,909 formula.html
- - rw-r--r-- 1,893 formula.js
- - rwxr-xr-x 8,595 index-seo.php
- - rw-r--r-- 7,190 index.html
- - rw-r--r-- 209 leaf.png
- - rw-r--r-- 562 menu_mobile.png
- - rw-r--r-- 220 minus.png
- - rw-r--r-- 8,843 mobile.css
- - rw-r--r-- 4,660 mobile.scss
- - rw-r--r-- 299 plus.png
- - rw-r--r-- 5,392 print.css
- - rw-r--r-- 1,971 print.html
- - rw-r--r-- 1,472 printer.png
- - rw-r--r-- 5,828 render-html.xsl
- - rw-r--r-- 9,713 render.js
- - rw-r--r-- 7,268 render.xsl
- - rw-r--r-- 441 sitemap.xml
- - rw-r--r-- 10,738 style.scss
- - rw-r--r-- 794 view_flat.png
- - rw-r--r-- 1,024 view_tree.png
- - rwxr-xr-x 7,168 xdata2html.pl
- - rwxr-xr-x 4,296 xdata2sql.pl
- - rwxr-xr-x 6,150 xdata2sql4seo.pl
- - rwxr-xr-x 2,919 xdataget.pl
- - rw-r--r-- 2,474 xdoc-home.png
- - rw-r--r-- 45,815 xdoc-logo.png
- - rw-r--r-- 41,869 xdoc.js
- - rw-r--r-- 6,156 xdoc_index.js
- - rwxr-xr-x 6,924 xslt.js
- - rwxr-xr-x 2,278 zip.sh