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 |