package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: fancy

d .. (parent)
d d rwxr-xr-x 31 HTML
d d rwxr-xr-x 4,096 lib
- - rw-r--r-- 38 .gitignore
- - rw-r--r-- 122 .htaccess
- - rw-r--r-- 351 Icon_External_Link.png
- - rw-r--r-- 3,754 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-- 912 download-index.html
- - rw-r--r-- 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
- - rw-r--r-- 8,595 index-seo.php
- - rw-r--r-- 7,200 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,748 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-- 1,084 view_flat.png
- - rw-r--r-- 1,276 view_tree.png
- - rwxr-xr-x 7,212 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-- 44,592 xdoc.js
- - rw-r--r-- 6,156 xdoc_index.js
- - rw-r--r-- 6,967 xslt.js
- - rwxr-xr-x 2,370 zip.sh