equal
deleted
inserted
replaced
59 HOL-Mutabelle \ |
59 HOL-Mutabelle \ |
60 HOL-NanoJava \ |
60 HOL-NanoJava \ |
61 HOL-Nitpick_Examples \ |
61 HOL-Nitpick_Examples \ |
62 HOL-Number_Theory \ |
62 HOL-Number_Theory \ |
63 HOL-Old_Number_Theory \ |
63 HOL-Old_Number_Theory \ |
64 HOL-Quickcheck_Examples \ |
|
65 HOL-Quotient_Examples \ |
64 HOL-Quotient_Examples \ |
66 HOL-Predicate_Compile_Examples \ |
65 HOL-Predicate_Compile_Examples \ |
67 HOL-Prolog \ |
66 HOL-Prolog \ |
68 HOL-Proofs-ex \ |
67 HOL-Proofs-ex \ |
69 HOL-Proofs-Lambda \ |
68 HOL-Proofs-Lambda \ |
94 HOL-Decision_Procs \ |
93 HOL-Decision_Procs \ |
95 HOL-Proofs-Extraction \ |
94 HOL-Proofs-Extraction \ |
96 HOL-Nominal-Examples |
95 HOL-Nominal-Examples |
97 |
96 |
98 all: test-no-smlnj test images-no-smlnj images |
97 all: test-no-smlnj test images-no-smlnj images |
99 full: all benchmark |
98 full: all benchmark HOL-Quickcheck_Examples |
100 smlnj: test images |
99 smlnj: test images |
101 |
100 |
102 |
101 |
103 ## global settings |
102 ## global settings |
104 |
103 |