isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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;

Mon, 30 May 2022 10:52:00 +0200 clarified command-line options;

changeset

wenzelm [Mon, 30 May 2022 10:52:00 +0200] rev 75489

clarified command-line options;

Mon, 30 May 2022 10:51:04 +0200 proper anchored pattern;

changeset

wenzelm [Mon, 30 May 2022 10:51:04 +0200] rev 75488

proper anchored pattern;

Mon, 30 May 2022 10:31:56 +0200 support thorough check of file content;

changeset

wenzelm [Mon, 30 May 2022 10:31:56 +0200] rev 75487

support thorough check of file content;

Mon, 30 May 2022 10:15:27 +0200 more documentation;

changeset

wenzelm [Mon, 30 May 2022 10:15:27 +0200] rev 75486