Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 06 Jun 2022 19:17:53 +0200 proper operation on String, not Path;
changeset
wenzelm [Mon, 06 Jun 2022 19:17:53 +0200] rev 75517
proper operation on String, not Path;
Mon, 06 Jun 2022 16:06:22 +0200 clarified signature: cwd can be misleading --- changes meaning of target;
changeset
wenzelm [Mon, 06 Jun 2022 16:06:22 +0200] rev 75516
clarified signature: cwd can be misleading --- changes meaning of target;
Sun, 05 Jun 2022 20:16:48 +0200 merged
changeset
wenzelm [Sun, 05 Jun 2022 20:16:48 +0200] rev 75515
merged
Sun, 05 Jun 2022 20:14:59 +0200 more meta data;
changeset
wenzelm [Sun, 05 Jun 2022 20:14:59 +0200] rev 75514
more meta data; clarified signature: more explicit types;
Sun, 05 Jun 2022 20:14:32 +0200 clarified signature: more operations;
changeset
wenzelm [Sun, 05 Jun 2022 20:14:32 +0200] rev 75513
clarified signature: more operations;
Sun, 05 Jun 2022 20:13:47 +0200 tuned messages;
changeset
wenzelm [Sun, 05 Jun 2022 20:13:47 +0200] rev 75512
tuned messages;
Sun, 05 Jun 2022 19:19:55 +0200 provide .hg_sync meta data;
changeset
wenzelm [Sun, 05 Jun 2022 19:19:55 +0200] rev 75511
provide .hg_sync meta data; always clean target, but guard it wrt. .hg_sync for robustness (no need for dry-run); updated and clarified documentation;
Sat, 04 Jun 2022 16:54:24 +0200 clarified signature;
changeset
wenzelm [Sat, 04 Jun 2022 16:54:24 +0200] rev 75510
clarified signature; clarified version of locally changed repository;
Wed, 01 Jun 2022 10:10:42 +0200 clarified options;
changeset
wenzelm [Wed, 01 Jun 2022 10:10:42 +0200] rev 75509
clarified options;
Wed, 01 Jun 2022 10:07:00 +0200 more robust;
changeset
wenzelm [Wed, 01 Jun 2022 10:07:00 +0200] rev 75508
more robust;
Tue, 31 May 2022 22:10:48 +0200 clarified signature (again);
changeset
wenzelm [Tue, 31 May 2022 22:10:48 +0200] rev 75507
clarified signature (again);
Tue, 31 May 2022 16:01:30 +0200 clarified signature;
changeset
wenzelm [Tue, 31 May 2022 16:01:30 +0200] rev 75506
clarified signature;
Sat, 04 Jun 2022 15:59:24 +0200 NEWS
changeset
desharna [Sat, 04 Jun 2022 15:59:24 +0200] rev 75505
NEWS
Sat, 04 Jun 2022 16:00:14 +0200 added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset
changeset
desharna [Sat, 04 Jun 2022 16:00:14 +0200] rev 75504
added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset
Sat, 04 Jun 2022 15:43:34 +0200 introduced predicate reflp_on and redefined reflp to be an abbreviation
changeset
desharna [Sat, 04 Jun 2022 15:43:34 +0200] rev 75503
introduced predicate reflp_on and redefined reflp to be an abbreviation
Tue, 31 May 2022 20:56:09 +0200 merged
changeset
nipkow [Tue, 31 May 2022 20:56:09 +0200] rev 75502
merged
Tue, 31 May 2022 20:55:51 +0200 insort renamings
changeset
nipkow [Tue, 31 May 2022 20:55:51 +0200] rev 75501
insort renamings
Tue, 31 May 2022 13:29:47 +0200 more operations;
changeset
wenzelm [Tue, 31 May 2022 13:29:47 +0200] rev 75500
more operations; tuned signature;
Tue, 31 May 2022 13:14:46 +0200 support explicit SSH port;
changeset
wenzelm [Tue, 31 May 2022 13:14:46 +0200] rev 75499
support explicit SSH port;
Tue, 31 May 2022 12:48:12 +0200 redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;
changeset
wenzelm [Tue, 31 May 2022 12:48:12 +0200] rev 75498
redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;
Mon, 30 May 2022 22:34:45 +0200 clarified options;
changeset
wenzelm [Mon, 30 May 2022 22:34:45 +0200] rev 75497
clarified options;
Mon, 30 May 2022 20:58:45 +0200 Added lemmas
changeset
nipkow [Mon, 30 May 2022 20:58:45 +0200] rev 75496
Added lemmas
Mon, 30 May 2022 12:46:22 +0100 merged
changeset
paulson [Mon, 30 May 2022 12:46:22 +0100] rev 75495
merged
Mon, 30 May 2022 12:46:11 +0100 Five slightly useful lemmas
changeset
paulson <lp15@cam.ac.uk> [Mon, 30 May 2022 12:46:11 +0100] rev 75494
Five slightly useful lemmas
Mon, 30 May 2022 11:51:34 +0200 clarified option -T;
changeset
wenzelm [Mon, 30 May 2022 11:51:34 +0200] rev 75493
clarified option -T;
Mon, 30 May 2022 11:34:25 +0200 preserve jars for quick testing;
changeset
wenzelm [Mon, 30 May 2022 11:34:25 +0200] rev 75492
preserve jars for quick testing;
Mon, 30 May 2022 11:02:13 +0200 tuned names;
changeset
wenzelm [Mon, 30 May 2022 11:02:13 +0200] rev 75491
tuned names;
Mon, 30 May 2022 10:56:51 +0200 clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
changeset
wenzelm [Mon, 30 May 2022 10:56:51 +0200] rev 75490
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
isabelle