Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper binding position for the resulting definition command, not this source file;
  2. material on finite sets
  3. support for watchdog_timeout;
  4. tuned;
  5. tuned;
  6. tuned -- prefer immutable data;
  7. tuned signature;
  8. clarified Nodes_Status; tuned messages;
  9. tuned
Changeset 68910:a21202dfe3eb by wenzelm:
proper binding position for the resulting definition command, not this source file;
The file was modified src/HOL/Library/datatype_records.ML (diff)
Changeset 68909:34e777447ed5 by lars hupel _lars.hupel@mytum.de_:
material on finite sets
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 68908:abc338d25640 by wenzelm:
support for watchdog_timeout;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 68907:3afa4f03864b by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68906:a9deff1bcb65 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68905:90a6b714aca3 by wenzelm:
tuned -- prefer immutable data;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68904:09151c54aaac by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document_status.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 68903:58525b08eed1 by wenzelm:
clarified Nodes_Status;<br>tuned messages;
The file was modified src/Pure/PIDE/document_status.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 68902:8414bbd7bb46 by nipkow:
tuned
The file was modified src/HOL/Analysis/Cross3.thy (diff)