isabelle: Changelog

haftmann [Thu, 25 Aug 2005 09:29:05 +0200] rev 17143

fixed typo

haftmann [Thu, 25 Aug 2005 09:25:03 +0200] rev 17142

add_locale_context(_i) now exporting elements (still some refinements to be done)

haftmann [Thu, 25 Aug 2005 09:23:40 +0200] rev 17141

added ? combinator for conditional transformations

haftmann [Thu, 25 Aug 2005 09:23:13 +0200] rev 17140

added 'default' function

ballarin [Wed, 24 Aug 2005 12:07:00 +0200] rev 17139

Printing of interpretations: option to show witness theorems;

ballarin [Wed, 24 Aug 2005 12:05:48 +0200] rev 17138

Interpretation in locales: extended back end; Printing of interpretations: option to show witness theorems;

haftmann [Tue, 23 Aug 2005 09:18:44 +0200] rev 17137

replaced ? by ??

wenzelm [Fri, 19 Aug 2005 23:20:50 +0200] rev 17136

fixed deps;

wenzelm [Fri, 19 Aug 2005 22:50:20 +0200] rev 17135

tuned arrangement of generated stuff;

wenzelm [Fri, 19 Aug 2005 22:44:36 +0200] rev 17134

updated;

isabelle