Package: hol88 / 2.02.19940316dfsg-8

Metadata

Package Version Patches format
hol88 2.02.19940316dfsg-8 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
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(-)

 
 gcl build support
 Adjustments to build with gcl
FTBFS_detection_fix | (download)

Makefile | 6 5 + 1 - 0 !
1 file changed, 5 insertions(+), 1 deletion(-)

 
 clearer build logs
 Update Makefile to produce clearer buildd output
function_representation | (download)

contrib/eval/eval.l | 2 1 + 1 - 0 !
contrib/prog_logic88/nprint_hacks.l | 2 1 + 1 - 0 !
contrib/prog_logic88/print_hacks.l | 2 1 + 1 - 0 !
lisp/f-freadth.l | 6 3 + 3 - 0 !
lisp/f-tml.l | 2 1 + 1 - 0 !
5 files changed, 7 insertions(+), 7 deletions(-)

 
 lambda lists are not functions
 Update for standard anonymous function representation