isabelle: Changelog

nipkow [Fri, 01 Jan 2010 17:21:44 +0100] rev 34222

added lemma

nipkow [Fri, 01 Jan 2010 16:34:51 +0100] rev 34221

removed FIXME

wenzelm [Sat, 02 Jan 2010 20:08:04 +0100] rev 34220

tuned error handling;

wenzelm [Sat, 02 Jan 2010 01:14:49 +0100] rev 34219

Standard_System.raw_execute: optional cwd; basic Cygwin.setup with download and unattended installation;

wenzelm [Sat, 02 Jan 2010 00:08:47 +0100] rev 34218

Download URLs -- with progress monitor.

wenzelm [Fri, 01 Jan 2010 21:26:02 +0100] rev 34217

Future values -- Scala version.

wenzelm [Thu, 31 Dec 2009 23:47:09 +0100] rev 34216

added simple dialogs;

wenzelm [Thu, 31 Dec 2009 00:35:54 +0100] rev 34215

added is_ready;

wenzelm [Wed, 30 Dec 2009 22:56:46 +0100] rev 34214

simplified init message -- removed redundant session property;

wenzelm [Wed, 30 Dec 2009 22:29:37 +0100] rev 34213

removed obsolete version check -- sanity delegated to Isabelle_System; tuned;

isabelle