Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more informative errors;
  2. clarified options;
  3. tuned messages;
  4. provide Isabelle tool wrapper;
  5. more robust errors: proceed updating database; clarified options; clarified progress;
  6. tuned;
  7. tuned output;
  8. clarified signature;
  9. clarified modules;
  10. tuned comments (amending 1951f6470792);
  11. tuned;
  12. discontinue somewhat pointless is_single, which also depends on details of internal data representation;
  13. more compact data: approx. 0.85 .. 1.10 of plain list size; fewer comparisons for Leaf2 / Leaf3: observe order;
  14. slightly more compact data;
Changeset 77752:1208ece65cca by wenzelm:
more informative errors;
The file was modified src/Pure/Admin/build_log.scala
Changeset 77751:7ac59361791e by wenzelm:
clarified options;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 77750:a8c52c99fa92 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_log.scala
Changeset 77749:4649c7bfd3f0 by wenzelm:
provide Isabelle tool wrapper;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/System/isabelle_tool.scala
Changeset 77748:5a2a297a91f8 by wenzelm:
more robust errors: proceed updating database;<br>clarified options;<br>clarified progress;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 77747:ca46ff5b4fa1 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala
Changeset 77746:4855150bc98b by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_log.scala
Changeset 77745:ebf70b199db7 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_log.scala
Changeset 77744:1398add8c414 by wenzelm:
clarified modules;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 77743:33bee7a96f72 by wenzelm:
tuned comments (amending 1951f6470792);
The file was modified src/Pure/General/set.ML
The file was modified src/Pure/General/table.ML
Changeset 77742:676713cba24d by wenzelm:
tuned;
The file was modified src/Pure/General/set.ML
The file was modified src/Pure/General/table.ML
Changeset 77741:1951f6470792 by wenzelm:
discontinue somewhat pointless is_single, which also depends on details of internal data representation;
The file was modified src/Pure/General/set.ML
The file was modified src/Pure/General/table.ML
The file was modified src/Pure/Syntax/parser.ML
Changeset 77740:19c539f5d4d3 by wenzelm:
more compact data: approx. 0.85 .. 1.10 of plain list size;<br>fewer comparisons for Leaf2 / Leaf3: observe order;
The file was modified src/Pure/General/set.ML
The file was modified src/Pure/General/table.ML
Changeset 77739:2225d3267f58 by wenzelm:
slightly more compact data;
The file was modified src/Pure/General/set.ML
The file was modified src/Pure/General/table.ML