isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 04 Jul 2022 10:08:10 +0000 corrections and adjustions for Scala 3

changeset

haftmann [Mon, 04 Jul 2022 10:08:10 +0000] rev 75649

corrections and adjustions for Scala 3

Mon, 04 Jul 2022 07:57:23 +0000 more complete set of code equations

changeset

haftmann [Mon, 04 Jul 2022 07:57:23 +0000] rev 75648

more complete set of code equations

Mon, 04 Jul 2022 07:57:22 +0000 officical abstract characters for code generation

changeset

haftmann [Mon, 04 Jul 2022 07:57:22 +0000] rev 75647

officical abstract characters for code generation

Fri, 01 Jul 2022 20:47:16 +0200 provide components for scala3 (still inactive);

changeset

wenzelm [Fri, 01 Jul 2022 20:47:16 +0200] rev 75646

provide components for scala3 (still inactive);

Fri, 01 Jul 2022 20:27:56 +0200 updated download version;

changeset

wenzelm [Fri, 01 Jul 2022 20:27:56 +0200] rev 75645

updated download version;

Fri, 01 Jul 2022 19:58:38 +0200 obsolete;

changeset

wenzelm [Fri, 01 Jul 2022 19:58:38 +0200] rev 75644

obsolete;

Fri, 01 Jul 2022 19:57:06 +0200 more keywords for scala3;

changeset

wenzelm [Fri, 01 Jul 2022 19:57:06 +0200] rev 75643

more keywords for scala3;

Fri, 01 Jul 2022 16:03:10 +0200 discontinued Isabelle tools implemented as .scala scripts;

changeset

wenzelm [Fri, 01 Jul 2022 16:03:10 +0200] rev 75642

discontinued Isabelle tools implemented as .scala scripts;

Fri, 01 Jul 2022 11:44:06 +0200 tuned proofs

changeset

desharna [Fri, 01 Jul 2022 11:44:06 +0200] rev 75641

tuned proofs

Thu, 30 Jun 2022 22:49:47 +0200 clarified heap alignment, to make it potentially more stable on macOS;

changeset

wenzelm [Thu, 30 Jun 2022 22:49:47 +0200] rev 75640

clarified heap alignment, to make it potentially more stable on macOS;

Wed, 29 Jun 2022 22:33:08 +0200 tuned proof

changeset

desharna [Wed, 29 Jun 2022 22:33:08 +0200] rev 75639

tuned proof

Wed, 29 Jun 2022 20:41:29 +0200 added lemmas domain_comp and unify_gives_minimal_domain

changeset

desharna [Wed, 29 Jun 2022 20:41:29 +0200] rev 75638

added lemmas domain_comp and unify_gives_minimal_domain

Wed, 29 Jun 2022 15:36:19 +0200 added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range

changeset

desharna [Wed, 29 Jun 2022 15:36:19 +0200] rev 75637

added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range

Wed, 29 Jun 2022 14:17:12 +0200 merged

changeset

desharna [Wed, 29 Jun 2022 14:17:12 +0200] rev 75636

merged

Wed, 29 Jun 2022 10:13:34 +0200 added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU

changeset

desharna [Wed, 29 Jun 2022 10:13:34 +0200] rev 75635

added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU

Wed, 29 Jun 2022 12:17:25 +0200 more macOS versions;

changeset

wenzelm [Wed, 29 Jun 2022 12:17:25 +0200] rev 75634

more macOS versions;

Tue, 28 Jun 2022 17:55:30 +0200 prefer Isabelle/Scala operations;

changeset

wenzelm [Tue, 28 Jun 2022 17:55:30 +0200] rev 75633

prefer Isabelle/Scala operations;

Tue, 28 Jun 2022 15:34:05 +0200 merged

changeset

wenzelm [Tue, 28 Jun 2022 15:34:05 +0200] rev 75632

merged

Tue, 28 Jun 2022 15:29:17 +0200 clarified IO, following Java 11 and Isabelle/Scala;

changeset

wenzelm [Tue, 28 Jun 2022 15:29:17 +0200] rev 75631

clarified IO, following Java 11 and Isabelle/Scala;

Tue, 28 Jun 2022 15:23:05 +0200 prefer Scala operations;

changeset

wenzelm [Tue, 28 Jun 2022 15:23:05 +0200] rev 75630

prefer Scala operations;

Tue, 28 Jun 2022 15:17:47 +0200 minor tuning;

changeset

wenzelm [Tue, 28 Jun 2022 15:17:47 +0200] rev 75629

minor tuning;

Tue, 21 Jun 2022 18:24:22 +0200 switched to statically compiled ci profile;

changeset

Fabian Huch <huch@in.tum.de> [Tue, 21 Jun 2022 18:24:22 +0200] rev 75628

switched to statically compiled ci profile;

Tue, 28 Jun 2022 14:50:59 +0200 more operations on Bytes.T;

changeset

wenzelm [Tue, 28 Jun 2022 14:50:59 +0200] rev 75627

more operations on Bytes.T;

Tue, 28 Jun 2022 11:24:59 +0200 more operations on Bytes.T;

changeset

wenzelm [Tue, 28 Jun 2022 11:24:59 +0200] rev 75626

more operations on Bytes.T;

Mon, 27 Jun 2022 17:36:26 +0200 tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS

changeset

traytel [Mon, 27 Jun 2022 17:36:26 +0200] rev 75625

tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS

Mon, 27 Jun 2022 15:54:18 +0200 strict bounds for BNFs (by Jan van Brügge)

changeset

traytel [Mon, 27 Jun 2022 15:54:18 +0200] rev 75624

strict bounds for BNFs (by Jan van Brügge)

Sat, 25 Jun 2022 09:50:40 +0000 More lemmas.

changeset

haftmann [Sat, 25 Jun 2022 09:50:40 +0000] rev 75623

More lemmas.

Sat, 25 Jun 2022 09:50:37 +0000 Centralized some char-related lemmas in distribution.

changeset

haftmann [Sat, 25 Jun 2022 09:50:37 +0000] rev 75622

Centralized some char-related lemmas in distribution.

Sat, 25 Jun 2022 16:51:24 +0200 prefer antiquotations;

changeset

wenzelm [Sat, 25 Jun 2022 16:51:24 +0200] rev 75621

prefer antiquotations;

Sat, 25 Jun 2022 13:19:15 +0200 clarified modules;

changeset

wenzelm [Sat, 25 Jun 2022 13:19:15 +0200] rev 75620

clarified modules;

Sat, 25 Jun 2022 10:27:42 +0200 more documentation;

changeset

wenzelm [Sat, 25 Jun 2022 10:27:42 +0200] rev 75619