Skip to content
Success

Changes

Summary

  1. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
  2. proper "isabelle go_setup" for Jenkins;
  3. dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
  4. tuned message;
  5. merged
  6. tuned NEWS;
  7. support for "all" platforms;
  8. clarified signature;
  9. merged
  10. updated time functions for Array_Braun
  11. merged
  12. New material and a bit of refactoring
  13. remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
  14. tuned;
  15. more robust Markdown;
  16. misc tuning; more text;
  17. run "isabelle components_build -u";
  18. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
  19. tuned order;
  20. more Setup_Tool services;
  21. clarified signature;
  22. proper SSH operations;
  23. tuned signature: more permissive;
  24. clarified signature: explicit variable is easier to find in source;
  25. proper services for Setup_Tool --- avoid hardwired stuff;
  26. merged
  27. renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
Changeset 80045:308ccc1ef982 by wenzelm:
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 80044:da323d3d7570 by wenzelm:
proper "isabelle go_setup" for Jenkins;
The file was modified Admin/jenkins/run_build (diff)
Changeset 80043:a0210a24b547 by wenzelm:
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
The file was addedAdmin/components/go
Changeset 80042:742e39db4d58 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 80041:a0f93621c332 by wenzelm:
merged
Changeset 80040:30eb547bda4a by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 80039: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 80038: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 80037:9b2f72f5a29a by nipkow:
merged
Changeset 80036: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 80035:c964cd759f47 by paulson:
merged
Changeset 80034: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 80033: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 80032:98808cc7b0c1 by wenzelm:
tuned;
The file was modified Admin/components/README.md (diff)
Changeset 80031:ebd988ee1d57 by wenzelm:
more robust Markdown;
The file was modified Admin/components/README.md (diff)
Changeset 80030:5c00c04f09fb by wenzelm:
misc tuning;<br>more text;
The file was modified Admin/components/README.md (diff)
Changeset 80029:a2d15ad6877a by wenzelm:
run &quot;isabelle components_build -u&quot;;
The file was modified Admin/components/components.sha1 (diff)
Changeset 80028:38bbc2ff3c24 by wenzelm:
remove obsolete component (see 8347ffa1f92c): superseded by &quot;isabelle go_setup&quot;;
The file was removedAdmin/components/go
Changeset 80027:64e57aafca1e by wenzelm:
tuned order;
The file was modified etc/build.props (diff)
Changeset 80026: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 80025:d1ac1bb01060 by wenzelm:
clarified signature;
The file was modified src/Pure/System/setup_tool.scala (diff)
Changeset 80024:27f2a6bd5616 by wenzelm:
proper SSH operations;
The file was modified src/Pure/System/setup_tool.scala (diff)
Changeset 80023:c43a51fde4f5 by wenzelm:
tuned signature: more permissive;
The file was modified src/Pure/System/other_isabelle.scala (diff)
Changeset 80022: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 80021: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)
Changeset 80020:b0a46cf73aa4 by desharna:
merged
Changeset 80019:991557e01814 by desharna:
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)