Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more antiquotations;
  2. obsolete;
  3. check free-form Scala source;
  4. clarified static_check: avoid accidental evaluation;
  5. omit pointless memoing: Scala compiler is rather bulky anyway;
  6. clarified signature;
  7. antiquotations for Scala entities;
Changeset 71893:a27747c85700 by wenzelm:
more antiquotations;
The file was modified src/Doc/ROOT
The file was modified src/Doc/System/Sessions.thy
Changeset 71892:dff81ce866d4 by wenzelm:
obsolete;
The file was modified src/Doc/System/Scala.thy
Changeset 71891:1b023a4498c3 by wenzelm:
check free-form Scala source;
The file was modified src/Pure/System/scala_compiler.ML
Changeset 71890:3b35b0fd7fe8 by wenzelm:
clarified static_check: avoid accidental evaluation;
The file was modified src/Pure/System/scala_compiler.ML
Changeset 71889:8dbefe849666 by wenzelm:
omit pointless memoing: Scala compiler is rather bulky anyway;
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/System/scala.scala
Changeset 71888:feb37a43ace6 by wenzelm:
clarified signature;
The file was addedsrc/Pure/System/scala_compiler.ML
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/System/scala.scala
The file was removedsrc/Pure/System/scala_check.ML
Changeset 71887:f7d15620dd8e by wenzelm:
antiquotations for Scala entities;
The file was modified etc/symbols
The file was modified lib/texinputs/isabellesym.sty
The file was modified src/Pure/System/scala_check.ML