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: 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 |
|
- | rw-r--r-- | 577 | llogo.gif |
|
- | rw-r--r-- | 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 |
