Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. NEWS
  2. merged
  3. bundle for cardinal syntax
  4. better accessibility of directory content by typing name prefix;
  5. uniform JVM heap options for Isabelle/Scala tools and scalac (again);
  6. proper etc/preferences;
Changeset 70080:36821db2e356 by traytel:
NEWS
The file was modified NEWS (diff)
Changeset 70079:66dad5805079 by traytel:
merged
Changeset 70078:3a1b2d8c89aa by traytel:
bundle for cardinal syntax
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Library/Countable_Set_Type.thy (diff)
The file was modified src/HOL/Main.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/Cardinal_Notations.thy
Changeset 70077:69465c3e3560 by wenzelm:
better accessibility of directory content by typing name prefix;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 70076:3b3089863eda by wenzelm:
uniform JVM heap options for Isabelle/Scala tools and scalac (again);
The file was modified etc/settings (diff)
Changeset 70075:ee0b8e06b01c by wenzelm:
proper etc/preferences;
The file was modified NEWS (diff)