package info
(click to toggle)
texlive-extra 2014.20141024-1
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 2,016,484 kB
- ctags: 21,582
- sloc: perl: 140,144; python: 16,926; makefile: 12,969; sh: 9,285; ansic: 3,415; java: 3,090; csh: 2,987; xml: 1,050; lisp: 630; ruby: 487; lex: 358; tcl: 142; sed: 36; pascal: 25; cpp: 18; awk: 10; haskell: 5
Folder: bussproofs
 |
.. (parent) | |||
 |
- | rw-r--r-- | 75,218 | BussGuide2.pdf |
|
- | rw-r--r-- | 29,328 | BussGuide2.tex |
|
- | rw-r--r-- | 1,062 | README.txt |
|
- | rw-r--r-- | 43,839 | testbp2.pdf |
|
- | rw-r--r-- | 8,864 | testbp2.tex |