Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified Resources.init_session for low-level "isabelle process";
  2. clarified signature;
  3. clarified signature: theory imports could be from other sessions;
  4. proper html_symbols (amending 429afd0d1a79);
  5. clarified signature: master_dir is just Path.current;
  6. unused;
  7. HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
  8. clarified document;
  9. refer to HTML symbols via resources;
  10. moved lemmas from AFP to distribution
Changeset 72628:5e616a454b23 by wenzelm:
clarified Resources.init_session for low-level "isabelle process";
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 72627:8d83acc5062e by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 72626:5a616815cc44 by wenzelm:
clarified signature: theory imports could be from other sessions;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72625:3402df4486de by wenzelm:
proper html_symbols (amending 429afd0d1a79);
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 72624:35524fade6a4 by wenzelm:
clarified signature: master_dir is just Path.current;
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72623:e788488b0607 by wenzelm:
unused;
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 72622:830222403681 by wenzelm:
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/Thy/html.ML (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72621:65554bac121b by wenzelm:
clarified document;
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/document/root.tex (diff)
Changeset 72620:429afd0d1a79 by wenzelm:
refer to HTML symbols via resources;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 72619:4b2691211719 by haftmann:
moved lemmas from AFP to distribution
The file was modified src/HOL/Groups_List.thy (diff)