Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified messages;
  2. proper message;
  3. clarified signature;
  4. clarified modules;
  5. more robust library_call (again): dynamic file name, static symbol;
  6. updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
  7. reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
  8. repaired thf output broken by c7e2a9bdc585
  9. renamed data type
  10. tuned terminology
Changeset 72665:7e5102e11c5e by wenzelm:
clarified messages;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 72664:0d3224b3a92c by wenzelm:
proper message;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 72663:e9030100f97d by wenzelm:
clarified signature;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72662:5c08ad7adf77 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Tools/build_job.scala
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72661:fca4d6abebda by wenzelm:
more robust library_call (again): dynamic file name, static symbol;
The file was modified src/Pure/General/sha1.ML (diff)
Changeset 72660:7d4e9f7742c6 by wenzelm:
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 72659:f8d25850173b by desharna:
reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 72658:5f7d86b28ffb by desharna:
repaired thf output broken by c7e2a9bdc585
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 72657:febfb98d0941 by desharna:
renamed data type
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 72656:a17c17ab931c by nipkow:
tuned terminology
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)