Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit print_depth for the sake of Spec_Check.determine_type;
  2. obsolete -- done in Isabelle_Process.init_options;
  3. clarified use of options;
  4. tuned signature;
  5. clarified use of options;
  6. avoid hardwired values;
  7. eliminated duplicate;
  8. more operations;
Changeset 62716:d80b9f4990e4 by wenzelm:
explicit print_depth for the sake of Spec_Check.determine_type;
The file was modified src/Pure/ML/ml_compiler0.ML (diff)
The file was modified src/Pure/ML/ml_env.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Spec_Check/spec_check.ML (diff)
Changeset 62715:8312e5d8d217 by wenzelm:
obsolete -- done in Isabelle_Process.init_options;
The file was modified src/Pure/Concurrent/multithreading.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 62714:63888e5f668b by wenzelm:
clarified use of options;
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62713:c18a68a3a1f1 by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 62712:22a17cec2efe by wenzelm:
clarified use of options;
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/options.ML (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62711:09df6a51ad3c by wenzelm:
avoid hardwired values;
The file was modified etc/options (diff)
The file was modified src/HOL/Metis.thy (diff)
The file was modified src/Pure/ML/ml_pretty.ML (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62710:e17f014775a0 by wenzelm:
eliminated duplicate;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 62709:fe3d50448833 by wenzelm:
more operations;
The file was modified src/Pure/ML/ml_syntax.scala (diff)