package info
(click to toggle)
hol88 2.02.19940316-35
- links: PTS
- area: main
- in suites: buster
- size: 65,988 kB
- ctags: 21,623
- sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: Manual
| .. (parent) | ||||
| - | rw-r--r-- | 1,729 | Makefile | |
| - | rw-r--r-- | 1,692 | algorithm.aux | |
| - | rw-r--r-- | 20,199 | algorithm.tex | |
| - | rw-r--r-- | 763 | datatypes.aux | |
| - | rw-r--r-- | 3,355 | datatypes.tex | |
| - | rw-r--r-- | 1,091 | debugging.aux | |
| - | rw-r--r-- | 4,683 | debugging.tex | |
| - | rw-r--r-- | 682 | doc-to-help.sed | |
| - | rw-r--r-- | 307 | entries-intro.tex | |
| - | rw-r--r-- | 738 | entries.aux | |
| - | rw-r--r-- | 51,158 | entries.tex | |
| - | rw-r--r-- | 1,274 | examples.aux | |
| - | rw-r--r-- | 40,406 | examples.tex | |
| - | rw-r--r-- | 1,632 | functions.aux | |
| - | rw-r--r-- | 15,849 | functions.tex | |
| - | rw-r--r-- | 2,499 | holppspec.aux | |
| - | rw-r--r-- | 23,819 | holppspec.tex | |
| - | rw-r--r-- | 576 | index.aux | |
| - | rw-r--r-- | 3,049 | index.tex | |
| - | rw-r--r-- | 1,119 | intro.aux | |
| - | rw-r--r-- | 31,129 | intro.tex | |
| - | rw-r--r-- | 4,761 | language.aux | |
| - | rw-r--r-- | 49,940 | language.tex | |
| - | rw-r--r-- | 2,413 | link_to_hol.aux | |
| - | rw-r--r-- | 25,113 | link_to_hol.tex | |
| - | rw-r--r-- | 3,104 | ppboxmacros.tex | |
| - | rw-r--r-- | 333 | prettyp.aux | |
| - | rw-r--r-- | 363,300 | prettyp.dvi | |
| - | rw-r--r-- | 5,450 | prettyp.idx | |
| - | rw-r--r-- | 3,546 | prettyp.log | |
| - | rw-r--r-- | 2,815 | prettyp.tex | |
| - | rw-r--r-- | 6,827 | prettyp.toc | |
| - | rw-r--r-- | 629 | references.aux | |
| - | rw-r--r-- | 495 | references.tex | |
| - | rw-r--r-- | 950 | syntax.aux | |
| - | rw-r--r-- | 10,246 | syntax.tex | |
| - | rw-r--r-- | 507 | title.aux | |
| - | rw-r--r-- | 1,945 | title.tex | |
| - | rw-r--r-- | 736 | types.aux | |
| - | rw-r--r-- | 2,033 | types.tex | |
| - | rw-r--r-- | 855 | win-macros.tex |
