Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. adapted to Isabelle/335a7dce7cb3;
Changeset 8530:fee069c9805b by wenzelm:
adapted to Isabelle/335a7dce7cb3;
The file was modified thys/HereditarilyFinite/HF.thy
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_App.thy
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_Std.thy
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_App.thy
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_Std.thy
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_Term.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
  2. uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
  3. updated comments;
  4. updated to scala-2.12.4;
  5. testing NewTestRegisterSave;
Changeset 67013:335a7dce7cb3 by wenzelm:
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
The file was modified NEWS
The file was modified src/Doc/Isar_Ref/Spec.thy
The file was modified src/HOL/Library/FuncSet.thy
The file was modified src/HOL/Library/Simps_Case_Conv.thy
The file was modified src/Pure/Pure.thy
The file was modified src/Pure/Thy/thy_header.ML
The file was modified src/Pure/Thy/thy_header.scala
Changeset 67012:671decd2e627 by wenzelm:
uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
The file was modified src/Pure/General/graph.scala
The file was modified src/Pure/Thy/sessions.scala
Changeset 67011:bab3208d8d37 by wenzelm:
updated comments;
The file was modified src/Pure/Tools/build.scala
Changeset 67010:cf56dd6f3ad1 by wenzelm:
updated to scala-2.12.4;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Concurrent/event_timer.scala
The file was modified src/Pure/more_pattern.ML
Changeset 67009:b68592732783 by wenzelm:
testing NewTestRegisterSave;
The file was modified Admin/components/main
The file was modified src/Pure/Concurrent/single_assignment.ML