isabelle: Changelog

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52958

made code more robust

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52957

avoid DUP exception in local context (cf. 062aa11e98e1)

blanchet [Sun, 11 Aug 2013 23:35:57 +0200] rev 52956

honor user tfree names

kleing [Sat, 10 Aug 2013 12:00:34 +0200] rev 52955

prefer local facts over global ones

kleing [Sat, 10 Aug 2013 11:59:03 +0200] rev 52954

use local context for name space

wenzelm [Sat, 10 Aug 2013 10:59:56 +0200] rev 52953

explicit "strict" flag for print functions (flipped internal meaning); non-strict query operations may operate on failed states;

kleing [Sat, 10 Aug 2013 10:15:30 +0200] rev 52952

avoid unnecessary case distinction

kleing [Sat, 10 Aug 2013 09:06:42 +0200] rev 52951

adjust tooltip for duplicates option

wenzelm [Fri, 09 Aug 2013 20:44:46 +0200] rev 52950

merged

wenzelm [Fri, 09 Aug 2013 20:31:51 +0200] rev 52949

NEWS;

isabelle