Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified options of "isabelle hg_sync" vs. "isabelle sync";
  2. tuned layout;
  3. misc tuning;
  4. clarified document structure; minor tuning;
Changeset 75559:5340239ff468 by wenzelm:
clarified options of "isabelle hg_sync" vs. "isabelle sync";
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75558:cf69c9112d09 by wenzelm:
tuned layout;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 75557:df14a62129e9 by wenzelm:
misc tuning;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 75556:1f6fc2416a48 by wenzelm:
clarified document structure;<br>minor tuning;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)