Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper "isabelle go_setup" for Jenkins;
  2. dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
  3. tuned message;
  4. merged
  5. merged
  6. updated time functions for Array_Braun
  7. merged
  8. New material and a bit of refactoring
  9. tuned NEWS;
  10. support for "all" platforms;
  11. clarified signature;
  12. remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
  13. tuned;
  14. more robust Markdown;
  15. misc tuning; more text;
  16. run "isabelle components_build -u";
  17. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
  18. tuned order;
  19. more Setup_Tool services;
  20. clarified signature;
  21. proper SSH operations;
  22. tuned signature: more permissive;
  23. clarified signature: explicit variable is easier to find in source;
  24. proper services for Setup_Tool --- avoid hardwired stuff;
Changeset 80767:1e7d4372fe3d by wenzelm:
proper "isabelle go_setup" for Jenkins;
The file was modified Admin/jenkins/run_build (diff)
The file was removedAdmin/components/go
Changeset 80766:a0210a24b547 by wenzelm:
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
The file was addedAdmin/components/go
Changeset 80765:742e39db4d58 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 80764:a0f93621c332 by wenzelm:
merged
Changeset 80763:9b2f72f5a29a by nipkow:
merged
Changeset 80762:a594d22e69d6 by nipkow:
updated time functions for Array_Braun
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
The file was modified src/HOL/Data_Structures/Define_Time_Function.ML (diff)
The file was modified src/HOL/Data_Structures/Time_Funs.thy (diff)
Changeset 80761:c964cd759f47 by paulson:
merged
Changeset 80760:95b4fb2b5359 by paulson _lp15@cam.ac.uk_:
New material and a bit of refactoring
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Probability/Information.thy (diff)
The file was modified src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 80759:30eb547bda4a by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 80758:0732ee5c8ee1 by wenzelm:
support for "all" platforms;
The file was modified src/Pure/System/platform.scala (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
The file was modified src/Pure/Tools/go_setup.scala (diff)
Changeset 80757:b1e2246147eb by wenzelm:
clarified signature;
The file was modified src/Pure/System/platform.scala (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
The file was modified src/Pure/Tools/go_setup.scala (diff)
Changeset 80756:71d005ffa9fe by wenzelm:
remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
The file was modified Admin/Windows/Cygwin/Cygwin-Terminal.bat (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Tools/Setup/src/Environment.java (diff)
Changeset 80755:98808cc7b0c1 by wenzelm:
tuned;
The file was modified Admin/components/README.md (diff)
Changeset 80754:ebd988ee1d57 by wenzelm:
more robust Markdown;
The file was modified Admin/components/README.md (diff)
Changeset 80753:5c00c04f09fb by wenzelm:
misc tuning;<br>more text;
The file was modified Admin/components/README.md (diff)
Changeset 80752:a2d15ad6877a by wenzelm:
run &quot;isabelle components_build -u&quot;;
The file was modified Admin/components/components.sha1 (diff)
Changeset 80751:38bbc2ff3c24 by wenzelm:
remove obsolete component (see 8347ffa1f92c): superseded by &quot;isabelle go_setup&quot;;
The file was removedAdmin/components/go
Changeset 80750:64e57aafca1e by wenzelm:
tuned order;
The file was modified etc/build.props (diff)
Changeset 80749:a03a7d4b82f8 by wenzelm:
more Setup_Tool services;
The file was modified etc/build.props (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
The file was modified src/Pure/Tools/go_setup.scala (diff)
Changeset 80748:d1ac1bb01060 by wenzelm:
clarified signature;
The file was modified src/Pure/System/setup_tool.scala (diff)
Changeset 80747:27f2a6bd5616 by wenzelm:
proper SSH operations;
The file was modified src/Pure/System/setup_tool.scala (diff)
Changeset 80746:c43a51fde4f5 by wenzelm:
tuned signature: more permissive;
The file was modified src/Pure/System/other_isabelle.scala (diff)
Changeset 80745:77e605c66797 by wenzelm:
clarified signature: explicit variable is easier to find in source;
The file was modified src/Pure/System/setup_tool.scala (diff)
Changeset 80744:ba06861e91f9 by wenzelm:
proper services for Setup_Tool --- avoid hardwired stuff;
The file was addedsrc/Pure/System/setup_tool.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/System/other_isabelle.scala (diff)