Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more diagnostic operations (see also 5c7652e9bc01);
  2. more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata);
Changeset 77199:7d7786585ab0 by wenzelm:
more diagnostic operations (see also 5c7652e9bc01);
The file was modified src/Pure/PIDE/session.scala
Changeset 77198:9b35c1171d9a by wenzelm:
more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata);
The file was modified src/Pure/PIDE/session.scala