Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 06 Feb 2025 12:46:13 +0100 clarified signature;
changeset
wenzelm [Thu, 06 Feb 2025 12:46:13 +0100] rev 82092
clarified signature; clarified modules;
Thu, 06 Feb 2025 12:18:56 +0100 tuned;
changeset
wenzelm [Thu, 06 Feb 2025 12:18:56 +0100] rev 82091
tuned;
Thu, 06 Feb 2025 12:07:47 +0100 avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a);
changeset
wenzelm [Thu, 06 Feb 2025 12:07:47 +0100] rev 82090
avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a);
Wed, 05 Feb 2025 23:11:07 +0100 tuned signature: more operations (following Isabelle/Scala);
changeset
wenzelm [Wed, 05 Feb 2025 23:11:07 +0100] rev 82089
tuned signature: more operations (following Isabelle/Scala);
Wed, 05 Feb 2025 22:54:47 +0100 more operations;
changeset
wenzelm [Wed, 05 Feb 2025 22:54:47 +0100] rev 82088
more operations;
Wed, 05 Feb 2025 21:29:13 +0100 clarified signature: re-use existing Process_Result.T (NB: err_lines are de-facto program startup errors, anything else is redirected to out_lines);
changeset
wenzelm [Wed, 05 Feb 2025 21:29:13 +0100] rev 82087
clarified signature: re-use existing Process_Result.T (NB: err_lines are de-facto program startup errors, anything else is redirected to out_lines);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
isabelle