equal
deleted
inserted
replaced
49 search.ML sign.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML \ |
49 search.ML sign.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML \ |
50 theory_data.ML thm.ML type.ML type_infer.ML unify.ML |
50 theory_data.ML thm.ML type.ML type_infer.ML unify.ML |
51 @./mk |
51 @./mk |
52 |
52 |
53 |
53 |
54 ## RAW |
54 ## special targets |
|
55 |
|
56 Pure-copied: |
|
57 @./mk -C |
55 |
58 |
56 RAW: |
59 RAW: |
57 @./mk -r |
60 @./mk -r |
|
61 |
|
62 RAW-copied: |
|
63 @./mk -Cr |
58 |
64 |
59 |
65 |
60 ## clean |
66 ## clean |
61 |
67 |
62 clean: |
68 clean: |