Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. tuned signature -- removed somewhat pointless operation;
  3. more operations;
  4. more operations (as in ML);
  5. more explicit entity kind;
  6. Pure theory content;
Changeset 68718:ce18a3924864 by wenzelm:
tuned output;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68717:54a5043d4cd5 by wenzelm:
tuned signature -- removed somewhat pointless operation;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68716:040c6298850b by wenzelm:
more operations;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68715:8197c2857267 by wenzelm:
more operations (as in ML);
The file was modified src/Pure/library.scala (diff)
Changeset 68714:1d5ab386eaf0 by wenzelm:
more explicit entity kind;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68713:fb44580680c4 by wenzelm:
Pure theory content;
The file was addedsrc/Pure/pure_thy.scala
The file was modified src/Pure/build-jars (diff)