| Diff file | hol88_2.02.19940316-14.diff.gz | |
|---|---|---|
| Size | 119391 | |
| MD5sum | dd09a2c1582160946ed6bf596e362305 | |
| ./debian only changes | view | download |
| non packaging (i.e. not ./debian) changes | view | download |
| file | inserted | deleted | modified | view | download |
|---|---|---|---|---|---|
| Library/arith/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/finite_sets/Manual/entries.tex | 79 | 82 | 0 | view | download |
| Library/finite_sets/Manual/theorems.tex | 30 | 44 | 0 | view | download |
| Library/more_arithmetic/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/more_arithmetic/Manual/theorems.tex | 24 | 36 | 0 | view | download |
| Library/numeral/Manual/theorems.tex | 42 | 45 | 0 | view | download |
| Library/parser/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/parser/Manual/theorems.tex | 1 | 1 | 0 | view | download |
| Library/pred_sets/Manual/entries.tex | 79 | 82 | 0 | view | download |
| Library/prettyp/Manual/entries.tex | 52 | 54 | 0 | view | download |
| Library/reals/Manual/theorems.tex | 389 | 401 | 0 | view | download |
| Library/record_proof/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/res_quan/Manual/entries.tex | 245 | 248 | 0 | view | download |
| Library/res_quan/Manual/theorems.tex | 1 | 3 | 0 | view | download |
| Library/sets/Manual/entries.tex | 79 | 82 | 0 | view | download |
| Library/sets/Manual/theorems.tex | 42 | 58 | 0 | view | download |
| Library/string/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/string/Manual/theorems.tex | 5 | 9 | 0 | view | download |
| Library/taut/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/trs/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/unwind/Manual/entries.tex | 1 | 3 | 0 | view | download |
| Library/wellorder/Manual/theorems.tex | 41 | 46 | 0 | view | download |
| Library/window/Manual/theorems.tex | 2 | 6 | 0 | view | download |
| Library/word/Manual/entries.tex | 1 | 4 | 0 | view | download |
| Library/word/Manual/theorems.tex | 94 | 102 | 0 | view | download |
| Makefile | 85 | 22 | 0 | view | download |
| Manual/Covers/Makefile | 2 | 2 | 0 | view | download |
| Manual/Description/description.tex | 1 | 1 | 0 | view | download |
| Manual/LaTeX/layout.sty | 3 | 3 | 0 | view | download |
| Manual/LaTeX/ref-macros.tex | 5 | 0 | 0 | view | download |
| Manual/Makefile | 2 | 0 | 0 | view | download |
| Manual/Reference/entries.tex | 4023 | 4025 | 0 | view | download |
| Manual/Reference/index.tex | 2 | 1624 | 0 | view | download |
| Manual/Reference/reference.tex | 1 | 1 | 0 | view | download |
| Manual/Reference/theorems.tex | 250 | 265 | 0 | view | download |
| Manual/Tutorial/tutorial.tex | 1 | 1 | 0 | view | download |
| lisp/f-cl.l | 14 | 4 | 0 | view | download |
| lisp/f-format.l | 2 | 2 | 0 | view | download |
| lisp/f-iox-stand.l | 1 | 1 | 0 | view | download |