Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature;
  3. style for <dl> that is reminiscent of LaTeX;
  4. more systematic HTML.init_dir with css;
  5. prefer logical markup;
  6. extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);
  7. tuned signature;
  8. implicitly check for unknown files (not part of a Mercurial repository);
  9. prefer explicit progress channel;
  10. prefer explicit progress channel;
  11. more explicit warning/error messages;
  12. tuned signature;
  13. tuned;
  14. clarified interface;
  15. more robust command invocation, without defaults from hgrc;
  16. clarified: repository files before commit;
  17. eliminated suspicious Unicode;
  18. clarified notion of known files (before actual commit);
  19. explore older history;
  20. explicit history_base;
  21. explore repository structure, with minimal assumptions about "hg log" output;
  22. avoid hardlinks, for more robustness on Windows file-systems;
  23. added function arg_min
  24. merged
  25. added lemma
  26. obsolete (see also bdd17b18e103, f533820e7248);
Changeset 65839:d081671d4a87 by wenzelm:
merged
Changeset 65838:30c2d78b5d38 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65837:9ee6a8d4499b by wenzelm:
style for &lt;dl&gt; that is reminiscent of LaTeX;
The file was modified etc/isabelle.css (diff)
Changeset 65836:3b4877fbd9cb by wenzelm:
more systematic HTML.init_dir with css;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65835:5ec497351636 by wenzelm:
prefer logical markup;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65834:67a6e0f166c2 by wenzelm:
extra space only for some structual elements, but not &lt;a&gt;, &lt;b&gt;, &lt;em&gt; etc. (amending 8a0fe5469ba0);
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65833:95fd3b9888e6 by wenzelm:
tuned signature;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 65832:2fb85623c386 by wenzelm:
implicitly check for unknown files (not part of a Mercurial repository);
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65831:3b197547c1d4 by wenzelm:
prefer explicit progress channel;
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65830:064925cb656f by wenzelm:
prefer explicit progress channel;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 65829:07e86b942a84 by wenzelm:
more explicit warning/error messages;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
Changeset 65828:02dd430d80c5 by wenzelm:
tuned signature;
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/output.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 65827:3bba3856b56c by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/check_keywords.scala (diff)
Changeset 65826:0b8a6a62114f by wenzelm:
clarified interface;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 65825:11f87ab51ddb by wenzelm:
more robust command invocation, without defaults from hgrc;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 65824:4ff79bd2b265 by wenzelm:
clarified: repository files before commit;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 65823:4f353215888a by wenzelm:
eliminated suspicious Unicode;
The file was modified src/HOL/Analysis/Great_Picard.thy (diff)
Changeset 65822:17b8528c2f53 by wenzelm:
clarified notion of known files (before actual commit);
The file was modified src/Pure/Admin/check_sources.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 65821:89c1f40656e5 by wenzelm:
explore older history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65820:a5d4958d0901 by wenzelm:
explicit history_base;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65819:ff3dc9325eaa by wenzelm:
explore repository structure, with minimal assumptions about &quot;hg log&quot; output;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 65818:94cad7590015 by wenzelm:
avoid hardlinks, for more robustness on Windows file-systems;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 65817:8ee1799fb076 by nipkow:
added function arg_min
The file was modified src/HOL/Lattices_Big.thy (diff)
Changeset 65816:59b945ff5684 by nipkow:
merged
Changeset 65815:416aa3b00cbe by nipkow:
added lemma
The file was modified src/HOL/Hilbert_Choice.thy (diff)
Changeset 65814:3039d4aa7143 by wenzelm:
obsolete (see also bdd17b18e103, f533820e7248);
The file was modified src/HOL/Main.thy (diff)
The file was removedsrc/HOL/Pre_Main.thy