package info
(click to toggle)
hol88 2.02.19940316-1
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 63,052 kB
- ctags: 19,365
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,076; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: Manual
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,832 | Makefile |
|
- | rw-r--r-- | 1,332 | cmssc12.tfm |
|
- | rw-r--r-- | 860 | cmssc12.vf |
|
- | rw-r--r-- | 1,353 | description.aux |
|
- | rw-r--r-- | 14,858 | description.tex |
|
- | rw-r--r-- | 217 | entries-intro.tex |
|
- | rw-r--r-- | 839 | entries.aux |
|
- | rw-r--r-- | 96 | entries.tex |
|
- | rw-r--r-- | 4,817 | holmacs.tex |
|
- | rw-r--r-- | 40 | index.tex |
|
- | rw-r--r-- | 1,506 | macros.tex |
|
- | rw-r--r-- | 303 | record_proof.aux |
|
- | rw-r--r-- | 507 | record_proof.bbl |
|
- | rw-r--r-- | 116 | record_proof.blg |
|
- | rw-r--r-- | 24,860 | record_proof.dvi |
|
- | rw-r--r-- | 1,699 | record_proof.idx |
|
- | rw-r--r-- | 335 | record_proof.ilg |
|
- | rw-r--r-- | 1,115 | record_proof.ind |
|
- | rw-r--r-- | 4,725 | record_proof.log |
|
- | rw-r--r-- | 320,938 | record_proof.ps |
|
- | rw-r--r-- | 53,726 | record_proof.ps2 |
|
- | rw-r--r-- | 2,969 | record_proof.tex |
|
- | rw-r--r-- | 607 | record_proof.toc |
|
- | rw-r--r-- | 507 | title.aux |
|
- | rw-r--r-- | 1,874 | title.tex |
|
- | rw-r--r-- | 3,650 | tokmac.tex |