Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Gauss numbers
  2. disable laramac01 for now: system update pending;
  3. clarified synchronized operations: approximate file-system transactions;
  4. more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations; tuned signature;
  5. NEWS;
  6. tuned;
  7. tuned comments, following "isabelle build" usage;
  8. clarified names;
  9. clarified modules;
  10. proper theory_dir for links to other session;
  11. tuned sources and comments;
  12. clarified signature;
  13. tuned sources and comments;
  14. clarified names: Browser_Info.Config vs. Browser_Info.Context;
  15. clarified modules;
  16. clarified signature: terminology of "base" (here) vs. "root" (there);
  17. tuned;
  18. proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
  19. streamlined
  20. simplified computation algorithm construction
Changeset 75955:5305c65dcbb2 by haftmann:
Gauss numbers
The file was addedsrc/HOL/Examples/Gauss_Numbers.thy
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 75954:7c72091abd55 by wenzelm:
disable laramac01 for now: system update pending;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 75953:32c4f8766831 by wenzelm:
clarified synchronized operations: approximate file-system transactions;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75952:864b10457a7d by wenzelm:
more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;<br>tuned signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75951:97e7bb231981 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 75950:3c25aecfa374 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 75949:b09dab301d72 by wenzelm:
tuned comments, following &quot;isabelle build&quot; usage;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75948:f0a8b7ae9192 by wenzelm:
clarified names;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 75947:45f08f13354a by wenzelm:
clarified modules;
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 75946:82739e4c1e54 by wenzelm:
proper theory_dir for links to other session;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75945:c7ee4d140c80 by wenzelm:
tuned sources and comments;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75944:abc3e052ba5d by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75943:367194f280b7 by wenzelm:
tuned sources and comments;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75942:603852abed8f by wenzelm:
clarified names: Browser_Info.Config vs. Browser_Info.Context;
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75941:4bbbbaa656f1 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Thy/browser_info.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/PIDE/document_info.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was removedsrc/Pure/Thy/presentation.scala
Changeset 75940:c6edbc025fae by wenzelm:
clarified signature: terminology of &quot;base&quot; (here) vs. &quot;root&quot; (there);
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 75939:87f0adcb7e10 by wenzelm:
tuned;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 75938:17d51bdabded by wenzelm:
proper fonts_prefix (amending c14409948063): default is &quot;&quot; due to self-cancellation of dir;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 75937:02b18f59f903 by haftmann:
streamlined
The file was modified NEWS (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Library/Code_Abstract_Char.thy (diff)
The file was modified src/HOL/Library/Code_Binary_Nat.thy (diff)
The file was modified src/HOL/Library/Code_Target_Nat.thy (diff)
The file was modified src/HOL/Library/RBT_Impl.thy (diff)
The file was modified src/HOL/Matrix_LP/ComputeNumeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/ex/Parallel_Example.thy (diff)
Changeset 75936:d2e6a1342c90 by haftmann:
simplified computation algorithm construction
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Library/IArray.thy (diff)
The file was modified src/HOL/SMT.thy (diff)