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. Added tag Isabelle2019-RC4 for changeset ad2d84c42380
  3. hint on printing via Web browser;
  4. tuned;
Changeset 70300:22c7eee0dd56 by wenzelm:
merged
Changeset 70299:83774d669b51 by wenzelm:
Added tag Isabelle2019-RC4 for changeset ad2d84c42380
The file was modified .hgtags
Changeset 70298:ad2d84c42380 by wenzelm:
hint on printing via Web browser;
The file was modified src/Doc/JEdit/JEdit.thy
Changeset 70297:67edf0234417 by wenzelm:
tuned;
The file was modified NEWS