Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuned;
  3. tuned;
  4. upgrade "isabelle build" to Isabelle/Scala;
  5. prefer plain "isabelle" from PATH within Isabelle settings environment;
  6. isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
  7. clarified messages, notably on Windows where CPU time of poly.exe is not measured;
  8. clarified modules;
  9. clarified files;
  10. clarified files;
Changeset 62593:adffc55a682d by wenzelm:
merged
Changeset 62592:4832491d1376 by wenzelm:
tuned;
The file was modified lib/Tools/doc (diff)
The file was modified lib/Tools/process (diff)
The file was modified lib/Tools/update_cartouches (diff)
The file was modified lib/Tools/update_header (diff)
The file was modified lib/Tools/update_then (diff)
The file was modified lib/Tools/update_theorems (diff)
Changeset 62591:98122e719d19 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 62590:0c837beeb5e7 by wenzelm:
upgrade "isabelle build" to Isabelle/Scala;
The file was modified lib/Tools/build (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 62589:b5783412bfed by wenzelm:
prefer plain "isabelle" from PATH within Isabelle settings environment;
The file was modified Admin/lib/Tools/build_doc (diff)
The file was modified Admin/lib/Tools/check_sources (diff)
The file was modified lib/Tools/browser (diff)
The file was modified lib/Tools/build (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/Tools/doc (diff)
The file was modified lib/Tools/document (diff)
The file was modified lib/Tools/options (diff)
The file was modified lib/Tools/process (diff)
The file was modified lib/Tools/update_cartouches (diff)
The file was modified lib/Tools/update_header (diff)
The file was modified lib/Tools/update_then (diff)
The file was modified lib/Tools/update_theorems (diff)
The file was modified src/Doc/Classes/document/build (diff)
The file was modified src/Doc/Codegen/document/build (diff)
The file was modified src/Doc/Eisbach/document/build (diff)
The file was modified src/Doc/Implementation/document/build (diff)
The file was modified src/Doc/Intro/document/build (diff)
The file was modified src/Doc/Isar_Ref/document/build (diff)
The file was modified src/Doc/JEdit/document/build (diff)
The file was modified src/Doc/Logics/document/build (diff)
The file was modified src/Doc/Logics_ZF/document/build (diff)
The file was modified src/Doc/Main/document/build (diff)
The file was modified src/Doc/Nitpick/document/build (diff)
The file was modified src/Doc/Prog_Prove/document/build (diff)
The file was modified src/Doc/Sledgehammer/document/build (diff)
The file was modified src/Doc/System/document/build (diff)
The file was modified src/Doc/Tutorial/document/build (diff)
The file was modified src/Doc/prepare_document (diff)
The file was modified src/HOL/Mirabelle/ex/Ex.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/HOL/TPTP/lib/Tools/tptp_isabelle (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_isabelle_hot (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_nitpick (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_refute (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_sledgehammer (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_translate (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit_client (diff)
The file was modified src/Tools/jEdit/src/active.scala (diff)
Changeset 62588:cd266473b81b by wenzelm:
isabelle_process is superseded by &quot;isabelle process&quot; tool;<br>tuned tool usage;<br>misc updates and tuning of &quot;system&quot; manual;
The file was addedlib/Tools/process
The file was modified NEWS (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/Tools/install (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/Doc/System/Basics.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Presentation.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/HOL/TPTP/lib/Tools/tptp_isabelle (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_isabelle_hot (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_nitpick (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_refute (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_sledgehammer (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_translate (diff)
The file was modified src/Pure/Tools/ml_console.scala (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was removedbin/isabelle_process
Changeset 62587:e31bf8ed5397 by wenzelm:
clarified messages, notably on Windows where CPU time of poly.exe is not measured;
The file was modified src/Pure/General/timing.scala (diff)
Changeset 62586:a522a5692832 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Tools/ml_process.scala
The file was modified bin/isabelle_process (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/ml_console.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/System/ml_process.scala
Changeset 62585:5d4ed917450d by wenzelm:
clarified files;
The file was addedsrc/Pure/General/random.ML
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was removedsrc/Pure/Concurrent/random.ML
Changeset 62584:6cd36a0d2a28 by wenzelm:
clarified files;
The file was addedsrc/Pure/System/bash.ML
The file was addedsrc/Pure/System/bash.scala
The file was addedsrc/Pure/System/bash_windows.ML
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Concurrent/bash.ML
The file was removedsrc/Pure/Concurrent/bash.scala
The file was removedsrc/Pure/Concurrent/bash_windows.ML