isabelle: Changelog

immler@in.tum.de [Tue, 30 Jun 2009 11:21:02 +0200] rev 31866

check for correct proof output

immler@in.tum.de [Tue, 30 Jun 2009 11:21:02 +0200] rev 31865

fixed: count constants with supplementary lemmas

hoelzl [Tue, 30 Jun 2009 10:59:02 +0200] rev 31864

removed latex markup - there is no document generated from Decision_Procs/ex

hoelzl [Mon, 29 Jun 2009 23:29:11 +0200] rev 31863

Implemented taylor series expansion for approximation

wenzelm [Tue, 30 Jun 2009 21:19:32 +0200] rev 31862

renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;

wenzelm [Tue, 30 Jun 2009 00:57:24 +0200] rev 31861

merged

wenzelm [Tue, 30 Jun 2009 00:50:42 +0200] rev 31860

more display;

wenzelm [Tue, 30 Jun 2009 00:57:06 +0200] rev 31859

added icon;

wenzelm [Tue, 30 Jun 2009 00:46:28 +0200] rev 31858

basic launch4j setup;

wenzelm [Tue, 30 Jun 2009 00:31:18 +0200] rev 31857

fixed permissions;

isabelle