package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; 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 |