isabelle: Changelog

wenzelm [Mon, 08 Aug 2011 13:19:19 +0200] rev 44051

avoid pointless completion of illegal control commands;

nipkow [Mon, 08 Aug 2011 08:56:58 +0200] rev 44050

removed old expand_fun_eq

nipkow [Mon, 08 Aug 2011 08:25:28 +0200] rev 44049

fixed index entry

nipkow [Mon, 08 Aug 2011 07:35:42 +0200] rev 44048

removed old recdef and types usage

nipkow [Mon, 08 Aug 2011 07:13:16 +0200] rev 44047

merged

nipkow [Sat, 06 Aug 2011 14:16:23 +0200] rev 44046

extended user-level attribute case_names with names for case hypotheses

nipkow [Mon, 01 Aug 2011 12:08:53 +0200] rev 44045

infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names

wenzelm [Sun, 07 Aug 2011 23:08:07 +0200] rev 44044

workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;

wenzelm [Sun, 07 Aug 2011 23:05:50 +0200] rev 44043

updated version information;

wenzelm [Sun, 07 Aug 2011 18:38:36 +0200] rev 44042

fixed document;

isabelle