equal
deleted
inserted
replaced
19 axclass.ML basis.ML data.ML deriv.ML display.ML drule.ML envir.ML goals.ML \ |
19 axclass.ML basis.ML data.ML deriv.ML display.ML drule.ML envir.ML goals.ML \ |
20 install_pp.ML library.ML logic.ML net.ML name_space.ML pattern.ML \ |
20 install_pp.ML library.ML logic.ML net.ML name_space.ML pattern.ML \ |
21 search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \ |
21 search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \ |
22 tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML |
22 tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML |
23 |
23 |
24 Pure: $(FILES) |
24 $(OUT)/Pure: $(FILES) |
25 @./mk |
25 @./mk |
26 |
26 |
27 RAW: $(FILES) |
27 $(OUT)/RAW: $(FILES) |
28 @./mk -r |
28 @./mk -r |
29 |
29 |
30 test: Pure |
30 test: Pure |
31 |
31 |
32 .PRECIOUS: $(OUT)/Pure |
32 .PRECIOUS: $(OUT)/Pure $(OUT)/RAW |