Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for .scala tools;
Changeset 63226:d8884c111bca by wenzelm:
support for .scala tools;
The file was modified NEWS (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)