Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. section headings for ROOT.ML;
  2. back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
  3. explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap; handle bootstrap signatures as well;
  4. clarified word syntax: "." is separator or delimiter;
  5. clarified mode of ROOT.ML files;
Changeset 62912:745d31e63c21 by wenzelm:
section headings for ROOT.ML;
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
The file was modified src/Pure/ML/ml_name_space.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
The file was modified src/Pure/pure_syn.ML (diff)
Changeset 62911:78e03d8bf1c4 by wenzelm:
back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
The file was modified lib/scripts/isabelle-platform (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was removedsrc/Pure/System/windows/bash.ML
Changeset 62910:f37878ebba65 by wenzelm:
explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap;<br>handle bootstrap signatures as well;
The file was addedsrc/Pure/ML/ml_recursive.ML
The file was modified src/HOL/ex/Cartouche_Examples.thy (diff)
The file was modified src/HOL/ex/ML.thy (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/ML/ml_env.ML (diff)
The file was modified src/Pure/ML/ml_name_space.ML (diff)
The file was modified src/Pure/ROOT0.ML (diff)
Changeset 62909:5024d0c48e02 by wenzelm:
clarified word syntax: &quot;.&quot; is separator or delimiter;
The file was modified src/Tools/jEdit/src/modes/isabelle-ml.xml (diff)
The file was modified src/Tools/jEdit/src/modes/isabelle-news.xml (diff)
The file was modified src/Tools/jEdit/src/modes/isabelle-options.xml (diff)
The file was modified src/Tools/jEdit/src/modes/isabelle-root.xml (diff)
The file was modified src/Tools/jEdit/src/modes/isabelle.xml (diff)
The file was modified src/Tools/jEdit/src/modes/sml.xml (diff)
Changeset 62908:d7009a515733 by wenzelm:
clarified mode of ROOT.ML files;
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)