Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified option type;
  2. count document nodes via raw file length;
  3. merged
  4. clarified Load_State / load_limit;
  5. clarified Load_State;
  6. discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
  7. count nodes uniformly: avoid overloaded session;
  8. clarified signature;
  9. simplified proof
Changeset 70801:5352449209b1 by wenzelm:
clarified option type;
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70800:44eeca528557 by wenzelm:
count document nodes via raw file length;
The file was modified etc/options (diff)
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70799:f8cd5f0f2b61 by wenzelm:
merged
Changeset 70798:9ee3558a7e99 by wenzelm:
clarified Load_State / load_limit;
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70797:28b50d6cc7ca by wenzelm:
clarified Load_State;
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70796:2739631ac368 by wenzelm:
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
The file was modified etc/options (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 70795:a90e40118874 by wenzelm:
count nodes uniformly: avoid overloaded session;
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70794:da647a0c8313 by wenzelm:
clarified signature;
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 70793:8ea9b7dec799 by nipkow:
simplified proof
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)