2010-01-01 nipkow [Fri, 01 Jan 2010 19:15:43 +0100] rev 34223
added lemmas
src/HOL/Finite_Set.thy src/HOL/GCD.thy src/HOL/Old_Number_Theory/Primes.thy

2010-01-01 nipkow [Fri, 01 Jan 2010 17:21:44 +0100] rev 34222
added lemma
src/HOL/GCD.thy

2010-01-01 nipkow [Fri, 01 Jan 2010 16:34:51 +0100] rev 34221
removed FIXME
src/HOL/GCD.thy

2010-01-02 wenzelm [Sat, 02 Jan 2010 20:08:04 +0100] rev 34220
tuned error handling;
src/Pure/General/download.scala src/Pure/System/cygwin.scala

2010-01-02 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;
src/Pure/General/download.scala src/Pure/System/cygwin.scala src/Pure/System/isabelle_system.scala src/Pure/System/standard_system.scala

2010-01-02 wenzelm [Sat, 02 Jan 2010 00:08:47 +0100] rev 34218
Download URLs -- with progress monitor.
src/Pure/General/download.scala src/Pure/IsaMakefile

2010-01-01 wenzelm [Fri, 01 Jan 2010 21:26:02 +0100] rev 34217
Future values -- Scala version.
src/Pure/Concurrent/future.scala src/Pure/General/swing_thread.scala src/Pure/IsaMakefile

2009-12-31 wenzelm [Thu, 31 Dec 2009 23:47:09 +0100] rev 34216
added simple dialogs;
src/Pure/library.scala

2009-12-31 wenzelm [Thu, 31 Dec 2009 00:35:54 +0100] rev 34215
added is_ready;
src/Pure/System/isabelle_process.scala

2009-12-30 wenzelm [Wed, 30 Dec 2009 22:56:46 +0100] rev 34214
simplified init message -- removed redundant session property;
src/Pure/General/markup.ML src/Pure/General/markup.scala src/Pure/System/isabelle_process.ML src/Pure/System/isabelle_process.scala