isabelle: Changelog

ballarin [Wed, 04 Nov 2015 08:13:52 +0100] rev 61566

Keyword 'rewrites' identifies rewrite morphisms.

ballarin [Wed, 04 Nov 2015 08:13:49 +0100] rev 61565

Qualifiers in locale expressions default to mandatory regardless of the command.

wenzelm [Tue, 03 Nov 2015 18:11:59 +0100] rev 61564

merged

wenzelm [Tue, 03 Nov 2015 17:53:09 +0100] rev 61563

tuned signature;

wenzelm [Tue, 03 Nov 2015 17:41:13 +0100] rev 61562

prefer Isabelle/Scala Future;

wenzelm [Tue, 03 Nov 2015 16:49:44 +0100] rev 61561

prefer Isabelle/Scala Future;

wenzelm [Tue, 03 Nov 2015 16:47:37 +0100] rev 61560

tuned imports;

wenzelm [Tue, 03 Nov 2015 16:35:38 +0100] rev 61559

more direct task future implementation, with proper cancel operation; more uniform Future.thread;

wenzelm [Tue, 03 Nov 2015 16:35:00 +0100] rev 61558

tuned;

wenzelm [Tue, 03 Nov 2015 14:03:44 +0100] rev 61557

prefer ad-hoc non-worker threads;

isabelle