wneuper/isa: Changelog

Mercurial Mercurial > wneuper > isa / changelog

Sat, 05 Jul 2014 16:29:19 +0200Added tag Isabelle2014-RC0 for changeset 251ef0202e71

changeset

wenzelm [Sat, 05 Jul 2014 16:29:19 +0200] rev 58865

Added tag Isabelle2014-RC0 for changeset 251ef0202e71

Sat, 05 Jul 2014 16:28:07 +0200merged

changeset

wenzelm [Sat, 05 Jul 2014 16:28:07 +0200] rev 58864

merged

Sat, 05 Jul 2014 13:39:53 +0200modernized definitions;

changeset

wenzelm [Sat, 05 Jul 2014 13:39:53 +0200] rev 58863

modernized definitions;

Sat, 05 Jul 2014 13:21:53 +0200proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac);

changeset

wenzelm [Sat, 05 Jul 2014 13:21:53 +0200] rev 58862

proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac);

Sat, 05 Jul 2014 16:07:23 +0200CONTRIBUTORS

changeset

haftmann [Sat, 05 Jul 2014 16:07:23 +0200] rev 58861

CONTRIBUTORS

Sat, 05 Jul 2014 16:04:23 +0200refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply;

changeset

haftmann [Sat, 05 Jul 2014 16:04:23 +0200] rev 58860

refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply;
uniform appearance of xsymbol and HTML output for sums

Sat, 05 Jul 2014 12:04:25 +0200misc tuning for release;

changeset

wenzelm [Sat, 05 Jul 2014 12:04:25 +0200] rev 58859

misc tuning for release;

Sat, 05 Jul 2014 11:19:37 +0200tuned;

changeset

wenzelm [Sat, 05 Jul 2014 11:19:37 +0200] rev 58858

tuned;

Sat, 05 Jul 2014 11:06:14 +0200NEWS

changeset

haftmann [Sat, 05 Jul 2014 11:06:14 +0200] rev 58857

NEWS