Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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;
  8. better closeup and more consistent terminology
Changeset 71893:a27747c85700 by wenzelm:
more antiquotations;
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 71892:dff81ce866d4 by wenzelm:
obsolete;
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 71891:1b023a4498c3 by wenzelm:
check free-form Scala source;
The file was modified src/Pure/System/scala_compiler.ML (diff)
Changeset 71890:3b35b0fd7fe8 by wenzelm:
clarified static_check: avoid accidental evaluation;
The file was modified src/Pure/System/scala_compiler.ML (diff)
Changeset 71889:8dbefe849666 by wenzelm:
omit pointless memoing: Scala compiler is rather bulky anyway;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 71888:feb37a43ace6 by wenzelm:
clarified signature;
The file was addedsrc/Pure/System/scala_compiler.ML
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was removedsrc/Pure/System/scala_check.ML
Changeset 71887:f7d15620dd8e by wenzelm:
antiquotations for Scala entities;
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
The file was modified src/Pure/System/scala_check.ML (diff)
Changeset 71886:4f4695757980 by haftmann:
better closeup and more consistent terminology
The file was modified src/FOL/FOL.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Library/Quantified_Premise_Simproc.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/Provers/quantifier1.ML (diff)
The file was modified src/ZF/OrdQuant.thy (diff)
The file was modified src/ZF/pair.thy (diff)