Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
  3. clarified signature;
  4. streamlined division on polynomials
Changeset 76211:2802f6a4dd8b by wenzelm:
merged
Changeset 76210:e44e044dadb3 by wenzelm:
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
The file was modified lib/texinputs/isabellesym.sty
Changeset 76209:365f6a621fc5 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala
Changeset 76208:14dd8b46307f by haftmann:
streamlined division on polynomials
The file was modified src/HOL/Computational_Algebra/Polynomial.thy

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

Summary

  1. Comments on theories brought from ZF-Constructible. Shortening fm names
Changeset 13046:80e872e0fe3a by sterraf:
Comments on theories brought from ZF-Constructible. Shortening fm names
The file was modified thys/Independence_CH/Replacement_Instances.thy
The file was modified thys/Independence_CH/ZF_Trans_Interpretations.thy
The file was modified thys/Transitive_Models/document/root.tex