Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified options;
Changeset 76212:f2094906e491 by wenzelm:
clarified options;
The file was modified etc/options
The file was modified src/Doc/ROOT

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

Summary

  1. clarified options, following f2094906e491;
Changeset 13047:a969a9029a5c by wenzelm:
clarified options, following f2094906e491;
The file was modified thys/Sturm_Sequences/ROOT