isabelle: Changelog

haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60342

separate function to compute exported abbreviation

haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60341

clearly separated target primitives (target_foo) from self-contained target operations (foo)

haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60340

tuned order

haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60339

dedicated config options to deactivate uncheck phase for improvable syntax

haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60338

clarified interfaces for improvable syntax

haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60337

tuned

wenzelm [Mon, 01 Jun 2015 18:07:36 +0200] rev 60336

clarified context;

wenzelm [Mon, 01 Jun 2015 17:44:45 +0200] rev 60335

clarified context;

wenzelm [Mon, 01 Jun 2015 17:08:47 +0200] rev 60334

clarified context;

wenzelm [Mon, 01 Jun 2015 16:07:38 +0200] rev 60333

tuned;

isabelle