isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 18 Mar 2012 08:57:45 +0100 comments for uniformity

changeset

haftmann [Sun, 18 Mar 2012 08:57:45 +0100] rev 47002

comments for uniformity

Sat, 17 Mar 2012 23:55:03 +0100 proper naming of simprocs according to actual target context;

changeset

wenzelm [Sat, 17 Mar 2012 23:55:03 +0100] rev 47001

proper naming of simprocs according to actual target context; afford pervasive declaration which makes results available with qualified name from outside;

Sat, 17 Mar 2012 23:50:47 +0100 amended locale_declaration: avoid duplication of Local_Theory.target with global_morphism (cf. 57def0b39696) -- Haftmann-Wenzel Sandwich has 3 layers, not 4;

changeset

wenzelm [Sat, 17 Mar 2012 23:50:47 +0100] rev 47000

amended locale_declaration: avoid duplication of Local_Theory.target with global_morphism (cf. 57def0b39696) -- Haftmann-Wenzel Sandwich has 3 layers, not 4;

Sat, 17 Mar 2012 22:46:19 +0100 more precise syntax;

changeset

wenzelm [Sat, 17 Mar 2012 22:46:19 +0100] rev 46999

more precise syntax;

Sat, 17 Mar 2012 17:58:40 +0100 more antiquotations;

changeset

wenzelm [Sat, 17 Mar 2012 17:58:40 +0100] rev 46998

more antiquotations;

Sat, 17 Mar 2012 17:44:29 +0100 misc tuning to accomodate scala-2.10.0-M2;

changeset

wenzelm [Sat, 17 Mar 2012 17:44:29 +0100] rev 46997

misc tuning to accomodate scala-2.10.0-M2;