Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. more robust: check subclasses as well;
  4. more robust;
  5. support for alternative user home, e.g. to avoid slow NFS shares;
  6. support explicit USER_HOME within SSH session;
  7. tuned;
  8. merged
  9. Further adjustments to the syntax for Lebesgue integration
  10. tuned comments;
  11. more robust: always close, despite failure;
  12. clarified signature;
  13. tuned signature;
  14. tuned comments;
  15. clarified signature;
  16. Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury
Changeset 79638:7eaf1931f408 by wenzelm:
merged
Changeset 79637:a14497801192 by wenzelm:
tuned;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79636:b3febd2a4c73 by wenzelm:
more robust: check subclasses as well;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79635:8d2539a13502 by wenzelm:
more robust;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 79634:432217a1e990 by wenzelm:
support for alternative user home, e.g. to avoid slow NFS shares;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79633:c59231722f10 by wenzelm:
support explicit USER_HOME within SSH session;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/other_isabelle.scala (diff)
Changeset 79632:463f94c504a4 by wenzelm:
tuned;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79631:5bedeb0dc827 by paulson:
merged
Changeset 79630:a8407aa7f916 by paulson _lp15@cam.ac.uk_:
Further adjustments to the syntax for Lebesgue integration
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
Changeset 79629:4d81c0391da2 by wenzelm:
tuned comments;
The file was modified src/Pure/Admin/component_e.scala (diff)
The file was modified src/Pure/Admin/component_hugo.scala (diff)
The file was modified src/Pure/Admin/component_spass.scala (diff)
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79628:e349a274a932 by wenzelm:
more robust: always close, despite failure;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79627:0f01c575ff3e by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build_cluster.scala (diff)
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79626:73b8ac4b0492 by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79625:96bfb554b216 by wenzelm:
tuned comments;
The file was modified src/Pure/Build/build_benchmark.scala (diff)
Changeset 79624:8e97d1fcbbc2 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_benchmark.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 79623:e905fb37467f by blanchet:
Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury
The file was modified src/HOL/SMT.thy (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)