equal
deleted
inserted
replaced
82 ML-Systems/smlnj.ML |
82 ML-Systems/smlnj.ML |
83 @./mk -r |
83 @./mk -r |
84 |
84 |
85 RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz |
85 RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz |
86 |
86 |
87 $(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML |
87 $(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML \ |
|
88 ProofGeneral/parsing.ML ProofGeneral/pgip_input.ML \ |
|
89 ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML \ |
|
90 ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML ProofGeneral/pgip_tests.ML \ |
|
91 ProofGeneral/pgip_types.ML ProofGeneral/preferences.ML \ |
|
92 ProofGeneral/proof_general_pgip.ML ProofGeneral/proof_general_emacs.ML |
88 @./mk -R ProofGeneral/pgip_standalone.ML |
93 @./mk -R ProofGeneral/pgip_standalone.ML |
89 |
94 |
90 |
95 |
91 ## clean |
96 ## clean |
92 |
97 |