Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. isabelle process -T THEORY;
  2. proper option -l;
  3. avoid redundant addLeftOfScrollBar;
  4. no dependency on HighlightPlugin, despite e7b2cfcef94c;
  5. observe ML print depth;
  6. clarified print depth;
Changeset 62677:0df43889f496 by wenzelm:
isabelle process -T THEORY;
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/HOL/Mirabelle/lib/scripts/mirabelle.pl (diff)
The file was modified src/HOL/Mutabelle/lib/Tools/mutabelle (diff)
The file was modified src/HOL/TPTP/CASC/ReadMe (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_graph (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 62676:1792f8ed2b04 by wenzelm:
proper option -l;
The file was modified src/HOL/Mutabelle/lib/Tools/mutabelle (diff)
Changeset 62675:2f816b80e3f4 by wenzelm:
avoid redundant addLeftOfScrollBar;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 62674:6cfa0de8bb99 by wenzelm:
no dependency on HighlightPlugin, despite e7b2cfcef94c;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 62673:b5c57430b9dd by wenzelm:
observe ML print depth;
The file was modified src/Pure/ML/ml_pp.ML (diff)
Changeset 62672:068b430e678f by wenzelm:
clarified print depth;
The file was modified src/HOL/Metis.thy (diff)
The file was modified src/Pure/General/pretty.ML (diff)
The file was modified src/Pure/ML/ml_pretty.ML (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)