| quilt source init | (download) |
Library/abs_theory/Manual/Makefile |
10 5 + 5 - 0 !
Library/arith/Manual/Makefile |
10 5 + 5 - 0 !
Library/arith/Manual/entries.tex |
4 1 + 3 - 0 !
Library/finite_sets/Manual/Makefile |
40 20 + 20 - 0 !
Library/finite_sets/Manual/entries.tex |
161 79 + 82 - 0 !
Library/finite_sets/Manual/theorems.tex |
74 30 + 44 - 0 !
Library/latex-hol/Manual/Makefile |
10 5 + 5 - 0 !
Library/more_arithmetic/Manual/Makefile |
34 17 + 17 - 0 !
Library/more_arithmetic/Manual/entries.tex |
4 1 + 3 - 0 !
Library/more_arithmetic/Manual/theorems.tex |
60 24 + 36 - 0 !
Library/numeral/Manual/Makefile |
16 8 + 8 - 0 !
Library/numeral/Manual/theorems.tex |
87 42 + 45 - 0 !
Library/pair/Manual/Makefile |
16 8 + 8 - 0 !
Library/parser/Manual/Makefile |
12 6 + 6 - 0 !
Library/parser/Manual/entries.tex |
4 1 + 3 - 0 !
Library/parser/Manual/theorems.tex |
2 1 + 1 - 0 !
Library/pred_sets/Manual/Makefile |
42 21 + 21 - 0 !
Library/pred_sets/Manual/entries.tex |
161 79 + 82 - 0 !
Library/prettyp/Manual/Makefile |
10 5 + 5 - 0 !
Library/prettyp/Manual/entries.tex |
106 52 + 54 - 0 !
Library/reals/Manual/Makefile |
30 15 + 15 - 0 !
Library/reals/Manual/theorems.tex |
790 389 + 401 - 0 !
Library/record_proof/Manual/Makefile |
12 6 + 6 - 0 !
Library/record_proof/Manual/entries.tex |
4 1 + 3 - 0 !
Library/reduce/Manual/Makefile |
10 5 + 5 - 0 !
Library/res_quan/Manual/Makefile |
16 8 + 8 - 0 !
Library/res_quan/Manual/entries.tex |
493 245 + 248 - 0 !
Library/res_quan/Manual/theorems.tex |
4 1 + 3 - 0 !
Library/sets/Manual/Makefile |
44 22 + 22 - 0 !
Library/sets/Manual/entries.tex |
161 79 + 82 - 0 !
Library/sets/Manual/theorems.tex |
100 42 + 58 - 0 !
Library/string/Manual/Makefile |
18 9 + 9 - 0 !
Library/string/Manual/entries.tex |
4 1 + 3 - 0 !
Library/string/Manual/theorems.tex |
14 5 + 9 - 0 !
Library/taut/Manual/Makefile |
10 5 + 5 - 0 !
Library/taut/Manual/entries.tex |
4 1 + 3 - 0 !
Library/trs/Manual/Makefile |
10 5 + 5 - 0 !
Library/trs/Manual/entries.tex |
4 1 + 3 - 0 !
Library/unwind/Manual/Makefile |
10 5 + 5 - 0 !
Library/unwind/Manual/entries.tex |
4 1 + 3 - 0 !
Library/wellorder/Manual/Makefile |
22 11 + 11 - 0 !
Library/wellorder/Manual/theorems.tex |
87 41 + 46 - 0 !
Library/window/Manual/Makefile |
18 9 + 9 - 0 !
Library/window/Manual/theorems.tex |
8 2 + 6 - 0 !
Library/word/Manual/Makefile |
28 14 + 14 - 0 !
Library/word/Manual/entries.tex |
5 1 + 4 - 0 !
Library/word/Manual/theorems.tex |
196 94 + 102 - 0 !
Makefile |
107 85 + 22 - 0 !
Manual/Covers/Makefile |
4 2 + 2 - 0 !
Manual/Description/description.tex |
2 1 + 1 - 0 !
Manual/LaTeX/layout.sty |
6 3 + 3 - 0 !
Manual/LaTeX/ref-macros.tex |
5 5 + 0 - 0 !
Manual/Makefile |
2 2 + 0 - 0 !
Manual/Reference/Makefile |
40 20 + 20 - 0 !
Manual/Reference/entries.tex |
8048 4023 + 4025 - 0 !
Manual/Reference/index.tex |
1626 1 + 1625 - 0 !
Manual/Reference/reference.tex |
2 1 + 1 - 0 !
Manual/Reference/theorems.tex |
515 250 + 265 - 0 !
Manual/Tutorial/tutorial.tex |
2 1 + 1 - 0 !
contrib/wordn/Manual/Makefile |
22 11 + 11 - 0 !
lisp/f-cl.l |
18 14 + 4 - 0 !
lisp/f-format.l |
4 2 + 2 - 0 !
lisp/f-iox-stand.l |
2 1 + 1 - 0 !
lisp/f-ol-syntax.c |
7805 7805 + 0 - 0 !
lisp/f-ol-syntax.h |
367 367 + 0 - 0 !
65 files changed, 14022 insertions(+), 7524 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
hol88 (2.02.19940316-15) unstable; urgency=low
.
* lintian fixes
* 3.0 quilt source format
|
| FTBFS_detection_fix | (download) |
Makefile |
6 5 + 1 - 0 !
1 file changed, 5 insertions(+), 1 deletion(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
hol88 (2.02.19940316-32) unstable; urgency=medium
.
* build against latest gcl
|
