package info
(click to toggle)
minlog 4.0.99.20100221-6
- links: PTS
- area: main
- in suites: buster, stretch
- size: 7,060 kB
- ctags: 4,293
- sloc: lisp: 112,614; makefile: 257; sh: 11
Folder: doc
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,019 | Makefile |
|
- | rw-r--r-- | 1,272 | acknow.tex |
|
- | rw-r--r-- | 26,267 | bussproofs.sty |
|
- | rw-r--r-- | 7,223 | infrule.sty |
|
- | rw-r--r-- | 3,489 | manual.txt |
|
- | rw-r--r-- | 16,177 | minlog.bib |
|
- | rw-r--r-- | 18,648 | minlog.mac |
|
- | rw-r--r-- | 327,653 | mlcf.tex |
|
- | rw-r--r-- | 31,990 | mpcref.tex |
|
- | rw-r--r-- | 15,562 | notation.sty |
|
- | rw-r--r-- | 218,471 | ref.tex |
|
- | rw-r--r-- | 8,534 | reflection_manual.tex |
|
- | rw-r--r-- | 61,750 | tutor.tex |