Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. clarified modules;
  3. clarified modules; clarified transactions;
  4. clarified modules: Build_Log.private_data provides raw data access without transaction_lock;
  5. more thorough transaction_lock;
  6. obsolete, see also a5896fe040dd;
  7. removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
  8. provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
Changeset 79065:07799c394b6d by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 79064:a54be9630ef8 by wenzelm:
clarified modules;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 79063:ad7f485195df by wenzelm:
clarified modules;<br>clarified transactions;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 79062:6977fb0153fb by wenzelm:
clarified modules: Build_Log.private_data provides raw data access without transaction_lock;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 79061:10eb2ebd23ba by wenzelm:
more thorough transaction_lock;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 79060:9f2040e5e2d6 by wenzelm:
obsolete, see also a5896fe040dd;
The file was removedbin/isabelle_scala_script
Changeset 79059:ae682b2aab03 by wenzelm:
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified NEWS (diff)
The file was modified lib/Tools/install (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 79058:f13390b2c1ee by wenzelm:
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
The file was addedsrc/Tools/Demo/README.md
The file was addedsrc/Tools/Demo/etc/build.props
The file was addedsrc/Tools/Demo/etc/options
The file was addedsrc/Tools/Demo/etc/settings
The file was addedsrc/Tools/Demo/src/demo_tool.scala
The file was modified NEWS (diff)
The file was modified etc/components (diff)
The file was modified src/Doc/System/Scala.thy (diff)