Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

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

Summary

  1. support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
  2. updated to latest latex due to new mechanism for dealing with bold ccfonts
Changeset 73512:e52a9b208481 by wenzelm:
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
The file was modified src/Pure/Admin/build_doc.scala
The file was modified src/Pure/Concurrent/par_list.scala
Changeset 73511:2cdbb6a2f2a7 by nipkow:
updated to latest latex due to new mechanism for dealing with bold ccfonts
The file was modified src/Doc/Prog_Prove/Basics.thy
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy
The file was modified src/Doc/Prog_Prove/Isar.thy
The file was modified src/Doc/Prog_Prove/document/prelude.tex

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

Summary

  1. Writing less_sets as an infix
  2. avoid symblinks --- make it work on Windows;
  3. Fixed some looping proofs (though why they were looping isn't clear)
Changeset 11709:34dff8ee061c by paulson _lp15@cam.ac.uk_:
Writing less_sets as an infix
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy
Changeset 11708:3f8b18dd1a65 by wenzelm:
avoid symblinks --- make it work on Windows;
The file was modified thys/Isabelle_C/ROOT
The file was removedthys/Isabelle_C/C11-FrontEnd/document/DOF-COL.sty
The file was removedthys/Isabelle_C/C11-FrontEnd/document/DOF-core.sty
The file was removedthys/Isabelle_C/C11-FrontEnd/document/DOF-scholarly_paper.sty
The file was removedthys/Isabelle_C/C11-FrontEnd/document/DOF-technical_report.sty
The file was removedthys/Isabelle_C/C11-FrontEnd/document/figures
The file was removedthys/Isabelle_C/C11-FrontEnd/document/ontologies.tex
The file was removedthys/Isabelle_C/C11-FrontEnd/document/paper.tex
Changeset 11707:b64d3bdac4d9 by paulson _lp15@cam.ac.uk_:
Fixed some looping proofs (though why they were looping isn't clear)
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Interfaces_Normalize.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Ipassmt.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/No_Spoof.thy