Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 24 Jan 2023 15:04:01 +0000 Beautifying an old entry
changeset
paulson <lp15@cam.ac.uk> [Tue, 24 Jan 2023 15:04:01 +0000] rev 77062
Beautifying an old entry
Tue, 24 Jan 2023 10:30:56 +0000 generalized theory name: euclidean division denotes one particular division definition on integers
changeset
haftmann [Tue, 24 Jan 2023 10:30:56 +0000] rev 77061
generalized theory name: euclidean division denotes one particular division definition on integers
Mon, 23 Jan 2023 22:33:25 +0100 merged
changeset
wenzelm [Mon, 23 Jan 2023 22:33:25 +0100] rev 77060
merged
Mon, 23 Jan 2023 22:25:17 +0100 support remote operations;
changeset
wenzelm [Mon, 23 Jan 2023 22:25:17 +0100] rev 77059
support remote operations;
Mon, 23 Jan 2023 20:27:46 +0100 more elementary command-line, following lib/Tools/components;
changeset
wenzelm [Mon, 23 Jan 2023 20:27:46 +0100] rev 77058
more elementary command-line, following lib/Tools/components;
Mon, 23 Jan 2023 20:23:48 +0100 clarified defaults;
changeset
wenzelm [Mon, 23 Jan 2023 20:23:48 +0100] rev 77057
clarified defaults; proper Url.append_path;
Mon, 23 Jan 2023 16:29:29 +0100 more accurate options (amending 7e19dc018db9);
changeset
wenzelm [Mon, 23 Jan 2023 16:29:29 +0100] rev 77056
more accurate options (amending 7e19dc018db9);
Mon, 23 Jan 2023 16:15:45 +0100 clarified defaults;
changeset
wenzelm [Mon, 23 Jan 2023 16:15:45 +0100] rev 77055
clarified defaults;
Mon, 23 Jan 2023 15:43:09 +0100 support remote download_file;
changeset
wenzelm [Mon, 23 Jan 2023 15:43:09 +0100] rev 77054
support remote download_file;
Mon, 23 Jan 2023 15:15:19 +0100 more modular shell script;
changeset
wenzelm [Mon, 23 Jan 2023 15:15:19 +0100] rev 77053
more modular shell script;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle