Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update documentation, following 21c1f82e7f5d;
  2. proper classpath for Scala compiler invocation (amending 14e22b525b13);
  3. merged
  4. support for dynamic classpath from exports;
  5. clarified signature;
  6. tuned signature;
Changeset 75700:953953504590 by wenzelm:
update documentation, following 21c1f82e7f5d;
The file was modified src/Doc/System/Presentation.thy (diff)
Changeset 75699:0a71b6c903e9 by wenzelm:
proper classpath for Scala compiler invocation (amending 14e22b525b13);
The file was modified src/Pure/System/scala.scala (diff)
Changeset 75698:6a6e90260ee7 by wenzelm:
merged
Changeset 75697:21c1f82e7f5d by wenzelm:
support for dynamic classpath from exports;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 75696:c79df6dc2803 by wenzelm:
clarified signature;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 75695:14e22b525b13 by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)