isabelle: Changelog

haftmann [Thu, 02 Sep 2010 16:41:42 +0200] rev 39065

set depth to 1

haftmann [Thu, 02 Sep 2010 16:41:42 +0200] rev 39064

avoid theory Imperative_HOL altogether

haftmann [Thu, 02 Sep 2010 16:41:41 +0200] rev 39063

adapted to change eq -> equal

haftmann [Thu, 02 Sep 2010 16:14:13 +0200] rev 39062

corrected printmode handling

haftmann [Thu, 02 Sep 2010 16:14:13 +0200] rev 39061

swapped slip

haftmann [Thu, 02 Sep 2010 16:14:09 +0200] rev 39060

updated

haftmann [Thu, 02 Sep 2010 15:09:51 +0200] rev 39059

restored and added surpression of case combinators

haftmann [Thu, 02 Sep 2010 14:59:28 +0200] rev 39058

dropped superfluous presentation names

haftmann [Thu, 02 Sep 2010 14:36:49 +0200] rev 39057

manage statement selection for presentation wholly through markup

haftmann [Thu, 02 Sep 2010 13:58:16 +0200] rev 39056

formal markup of generated code for statements

isabelle