Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. tuned signature;
  3. provide CakeML component
  4. clarified get_infix: avoid old ASCII input syntax;
  5. remove dubious import
Changeset 69074:787f3db8e313 by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 69073:d05defa39e3d by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala (diff)
Changeset 69072:337b8ce5ff8d by lars hupel _lars.hupel@mytum.de_:
provide CakeML component
The file was addedAdmin/components/cakeml
Changeset 69071:3ef82592dc22 by wenzelm:
clarified get_infix: avoid old ASCII input syntax;
The file was modified src/Pure/Syntax/printer.ML (diff)
The file was modified src/Pure/Syntax/syntax.ML (diff)
The file was modified src/Pure/Syntax/syntax_ext.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 69070:a74b09822d79 by lars hupel _lars.hupel@mytum.de_:
remove dubious import
The file was modified src/HOL/Algebra/Ring_Divisibility.thy (diff)