Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. more official AFP.groups; clarified bulky sessions;
  3. auto-update for some experimental components;
  4. clarified URLs: prefer sketis over bitbucket;
  5. self-contained code modules for Haskell
  6. automation for unverloading definitions
  7. restore type variable names in unoverload_type
Changeset 69694:2633e166136a by wenzelm:
tuned output;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69693:06153e2e0cdb by wenzelm:
more official AFP.groups;<br>clarified bulky sessions;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69692:3b777286c3ec by wenzelm:
auto-update for some experimental components;
The file was modified Admin/components/components.sha1 (diff)
Changeset 69691:9c6651cd6141 by wenzelm:
clarified URLs: prefer sketis over bitbucket;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 69690:1fb204399d8d by haftmann:
self-contained code modules for Haskell
The file was modified NEWS (diff)
The file was modified src/Doc/Codegen/Adaptation.thy (diff)
The file was modified src/HOL/Imperative_HOL/Heap_Monad.thy (diff)
The file was modified src/HOL/Library/Code_Lazy.thy (diff)
The file was modified src/HOL/Library/IArray.thy (diff)
The file was modified src/HOL/Quickcheck_Narrowing.thy (diff)
The file was modified src/Tools/Code/code_haskell.ML (diff)
Changeset 69689:ab5a8a2519b0 by immler:
automation for unverloading definitions
The file was addedsrc/HOL/Types_To_Sets/Examples/Unoverload_Def.thy
The file was addedsrc/HOL/Types_To_Sets/unoverload_def.ML
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Types_To_Sets/Types_To_Sets.thy (diff)
Changeset 69688:33843320448f by immler:
restore type variable names in unoverload_type
The file was modified src/HOL/Types_To_Sets/Examples/Linear_Algebra_On.thy (diff)
The file was modified src/HOL/Types_To_Sets/unoverload_type.ML (diff)