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: graphics
 |
.. (parent) | |||
 |
- | rw-r--r-- | 9,311 | acl2-logo-200-134.gif |
|
- | rw-r--r-- | 3,357 | acl2-logo-62-41.gif |
|
- | rw-r--r-- | 8,746 | acl2-system-architecture.gif |
|
- | rw-r--r-- | 4,548 | automatic-theorem-prover.gif |
|
- | rw-r--r-- | 1,221 | binary-trees-app-expl.gif |
|
- | rw-r--r-- | 1,981 | binary-trees-app.gif |
|
- | rw-r--r-- | 1,382 | binary-trees-x-y.gif |
|
- | rw-r--r-- | 985 | book04.gif |
|
- | rw-r--r-- | 2,429 | bridge-analysis.gif |
|
- | rw-r--r-- | 4,557 | bridge.gif |
|
- | rw-r--r-- | 1,162 | chem01.gif |
|
- | rw-r--r-- | 894 | common-lisp.gif |
|
- | rw-r--r-- | 5,403 | computing-machine-5x7.gif |
|
- | rw-r--r-- | 5,595 | computing-machine-5xy.gif |
|
- | rw-r--r-- | 6,517 | computing-machine-a.gif |
|
- | rw-r--r-- | 6,276 | computing-machine-xxy.gif |
|
- | rw-r--r-- | 4,092 | computing-machine.gif |
|
- | rw-r--r-- | 5,344 | concrete-proof.gif |
|
- | rw-r--r-- | 1,045 | doc03.gif |
|
- | rw-r--r-- | 1,033 | docbag2.gif |
|
- | rw-r--r-- | 1,155 | door02.gif |
|
- | rw-r--r-- | 1,035 | file03.gif |
|
- | rw-r--r-- | 1,087 | file04.gif |
|
- | rw-r--r-- | 457 | flying.gif |
|
- | rw-r--r-- | 1,111 | ftp2.gif |
|
- | rw-r--r-- | 1,296 | gift.gif |
|
- | rw-r--r-- | 114 | green-line.gif |
|
- | rw-r--r-- | 378 | index.gif |
|
- | rw-r--r-- | 1,021 | info04.gif |
|
- | rw-r--r-- | 4,858 | interactive-theorem-prover-a.gif |
|
- | rw-r--r-- | 5,072 | interactive-theorem-prover.gif |
|
- | rw-r--r-- | 810 | landing.gif |
|
- | rw-r--r-- | 1,207 | large-flying.gif |
|
- | rw-r--r-- | 1,316 | large-walking.gif |
|
- | rwxr-xr-x | 577 | llogo.gif |
|
- | rwxr-xr-x | 3,958 | logo.gif |
|
- | rw-r--r-- | 1,210 | mailbox1.gif |
|
- | rw-r--r-- | 1,134 | new04.gif |
|
- | rw-r--r-- | 1,077 | note02.gif |
|
- | rw-r--r-- | 2,590 | open-book.gif |
|
- | rw-r--r-- | 1,782 | pisa.gif |
|
- | rw-r--r-- | 1,358 | proof.gif |
|
- | rw-r--r-- | 862 | sitting.gif |
|
- | rw-r--r-- | 1,875 | stack.gif |
|
- | rw-r--r-- | 7,471 | state-object.gif |
|
- | rw-r--r-- | 1,235 | teacher1.gif |
|
- | rw-r--r-- | 1,034 | teacher2.gif |
|
- | rw-r--r-- | 1,057 | time-out.gif |
|
- | rw-r--r-- | 1,063 | tools3.gif |
|
- | rw-r--r-- | 71 | twarning.gif |
|
- | rw-r--r-- | 3,488 | uaa-rewrite.gif |
|
- | rw-r--r-- | 302 | walking.gif |
|
- | rw-r--r-- | 215 | warning.gif |
