Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified;
  2. evaluate Scala via running Isabelle/Scala;
  3. more robust: avoid spurious line breaks that might confuse the scala interpreter;
  4. clarified signature: proper eval/print via interpret;
Changeset 72297:bc31c4a2c77c by wenzelm:
clarified;
The file was modified src/HOL/Library/code_test.ML
Changeset 72296:00490c408e52 by wenzelm:
evaluate Scala via running Isabelle/Scala;
The file was modified src/HOL/Library/code_test.ML
Changeset 72295:aafec95bc30e by wenzelm:
more robust: avoid spurious line breaks that might confuse the scala interpreter;
The file was modified src/Tools/Code/code_scala.ML
Changeset 72294:25c6423ec538 by wenzelm:
clarified signature: proper eval/print via interpret;
The file was modified src/Pure/System/scala.scala
The file was modified src/Pure/System/scala_compiler.ML