package info (click to toggle)
minlog 4.0.99.20100221-8
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 7,060 kB
  • sloc: lisp: 112,614; makefile: 231; sh: 11

Folder: doc

d .. (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