equal
deleted
inserted
replaced
295 use "Tools/named_thms.ML"; |
295 use "Tools/named_thms.ML"; |
296 use "Tools/legacy_xml_syntax.ML"; |
296 use "Tools/legacy_xml_syntax.ML"; |
297 |
297 |
298 |
298 |
299 (* configuration for Proof General *) |
299 (* configuration for Proof General *) |
300 |
|
301 (use |
|
302 |> Unsynchronized.setmp Proofterm.proofs 0 |
|
303 |> Unsynchronized.setmp Multithreading.max_threads 0) |
|
304 "ProofGeneral/preferences.ML"; |
|
305 |
|
306 use "ProofGeneral/proof_general.ML"; |
300 use "ProofGeneral/proof_general.ML"; |
307 |
301 |
308 |
302 |
309 (* ML toplevel pretty printing *) |
303 (* ML toplevel pretty printing *) |
310 |
304 |