Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. proper use of antiquotations;
Changeset 73593:e60333aa18ca by wenzelm:
proper use of antiquotations;
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. more realistic timeout;
  2. tuned whitespace;
  3. Tweaks
Changeset 11740:f8e89e956d62 by wenzelm:
more realistic timeout;
The file was modified thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT
The file was modified thys/Projective_Measurements/ROOT
Changeset 11739:1ac0a5987165 by wenzelm:
tuned whitespace;
The file was modified thys/Projective_Measurements/ROOT
Changeset 11738:1df7aedab89d by asta halkjær from _andro.from@gmail.com_:
Tweaks
The file was modified thys/Epistemic_Logic/Epistemic_Logic.thy