isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 19 Jan 2018 14:55:46 +0100 formal treatment of documentation names;

changeset

wenzelm [Fri, 19 Jan 2018 14:55:46 +0100] rev 67471

formal treatment of documentation names;

Fri, 19 Jan 2018 14:55:00 +0100 support for completion;

changeset

wenzelm [Fri, 19 Jan 2018 14:55:00 +0100] rev 67470

support for completion;

Fri, 19 Jan 2018 11:36:29 +0100 adapted to a5ca98950a91;

changeset

wenzelm [Fri, 19 Jan 2018 11:36:29 +0100] rev 67469

adapted to a5ca98950a91;

Fri, 19 Jan 2018 11:34:41 +0100 tuned output of plain name;

changeset

wenzelm [Fri, 19 Jan 2018 11:34:41 +0100] rev 67468

tuned output of plain name;

Fri, 19 Jan 2018 11:26:31 +0100 clarified signature;

changeset

wenzelm [Fri, 19 Jan 2018 11:26:31 +0100] rev 67467

clarified signature;

Fri, 19 Jan 2018 11:25:55 +0100 tuned;

changeset

wenzelm [Fri, 19 Jan 2018 11:25:55 +0100] rev 67466

tuned;

Fri, 19 Jan 2018 11:02:13 +0100 tuned;

changeset

wenzelm [Fri, 19 Jan 2018 11:02:13 +0100] rev 67465

tuned;

Thu, 18 Jan 2018 21:42:03 +0100 unused;

changeset

wenzelm [Thu, 18 Jan 2018 21:42:03 +0100] rev 67464

unused;

Thu, 18 Jan 2018 21:41:30 +0100 clarified access to antiquotation options;

changeset

wenzelm [Thu, 18 Jan 2018 21:41:30 +0100] rev 67463

clarified access to antiquotation options; define explicit variants of antiquotations; output proper Latex.text; misc tuning and clarification;

Thu, 18 Jan 2018 21:29:28 +0100 more operations;

changeset

wenzelm [Thu, 18 Jan 2018 21:29:28 +0100] rev 67462

more operations;

Wed, 17 Jan 2018 15:30:53 +0100 tuned signature;

changeset

wenzelm [Wed, 17 Jan 2018 15:30:53 +0100] rev 67461

tuned signature;

Wed, 17 Jan 2018 14:40:18 +0100 discontinued unused wrapper: print_mode is provided directly;

changeset

wenzelm [Wed, 17 Jan 2018 14:40:18 +0100] rev 67460

discontinued unused wrapper: print_mode is provided directly;

Fri, 19 Jan 2018 15:50:17 +0100 corrected name

changeset

nipkow [Fri, 19 Jan 2018 15:50:17 +0100] rev 67459

corrected name

Fri, 19 Jan 2018 15:42:53 +0100 moved from AFP/Gromov

changeset

nipkow [Fri, 19 Jan 2018 15:42:53 +0100] rev 67458

moved from AFP/Gromov

Fri, 19 Jan 2018 12:14:48 +0100 moved from AFP/Gromov

changeset

nipkow [Fri, 19 Jan 2018 12:14:48 +0100] rev 67457

moved from AFP/Gromov

Fri, 19 Jan 2018 08:28:08 +0100 added lemma

changeset

nipkow [Fri, 19 Jan 2018 08:28:08 +0100] rev 67456

added lemma

Thu, 18 Jan 2018 17:04:35 +0100 moved from AFP/Gromov

changeset

nipkow [Thu, 18 Jan 2018 17:04:35 +0100] rev 67455

moved from AFP/Gromov

Thu, 18 Jan 2018 15:21:06 +0100 moved t3/t4 space from AFP/Gromov to here.

changeset

nipkow [Thu, 18 Jan 2018 15:21:06 +0100] rev 67454

moved t3/t4 space from AFP/Gromov to here.

Thu, 18 Jan 2018 08:08:36 +0100 more automation

changeset

nipkow [Thu, 18 Jan 2018 08:08:36 +0100] rev 67453

more automation

Wed, 17 Jan 2018 12:27:06 +0100 more lemmas by Gouezele

changeset

nipkow [Wed, 17 Jan 2018 12:27:06 +0100] rev 67452

more lemmas by Gouezele

Wed, 17 Jan 2018 09:55:03 +0100 move lemmas by Gouezel to distribution

changeset

nipkow [Wed, 17 Jan 2018 09:55:03 +0100] rev 67451

move lemmas by Gouezel to distribution

Tue, 16 Jan 2018 19:28:05 +0100 Experimental support for rewrite morphisms in locale instances.

changeset

ballarin [Tue, 16 Jan 2018 19:28:05 +0100] rev 67450

Experimental support for rewrite morphisms in locale instances.

Tue, 16 Jan 2018 15:53:42 +0100 tuned signature;

changeset

wenzelm [Tue, 16 Jan 2018 15:53:42 +0100] rev 67449

tuned signature;

Tue, 16 Jan 2018 15:42:21 +0100 more documentation;

changeset

wenzelm [Tue, 16 Jan 2018 15:42:21 +0100] rev 67448