Fri, 01 Jan 2010 16:34:51 +0100 removed FIXME
nipkow [Fri, 01 Jan 2010 16:34:51 +0100] rev 34221
removed FIXME
Sat, 02 Jan 2010 20:08:04 +0100 tuned error handling;
wenzelm [Sat, 02 Jan 2010 20:08:04 +0100] rev 34220
tuned error handling;
Sat, 02 Jan 2010 01:14:49 +0100 Standard_System.raw_execute: optional cwd;
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;
Sat, 02 Jan 2010 00:08:47 +0100 Download URLs -- with progress monitor.
wenzelm [Sat, 02 Jan 2010 00:08:47 +0100] rev 34218
Download URLs -- with progress monitor.
Fri, 01 Jan 2010 21:26:02 +0100 Future values -- Scala version.
wenzelm [Fri, 01 Jan 2010 21:26:02 +0100] rev 34217
Future values -- Scala version.
Thu, 31 Dec 2009 23:47:09 +0100 added simple dialogs;
wenzelm [Thu, 31 Dec 2009 23:47:09 +0100] rev 34216
added simple dialogs;
Thu, 31 Dec 2009 00:35:54 +0100 added is_ready;
wenzelm [Thu, 31 Dec 2009 00:35:54 +0100] rev 34215
added is_ready;
Wed, 30 Dec 2009 22:56:46 +0100 simplified init message -- removed redundant session property;
wenzelm [Wed, 30 Dec 2009 22:56:46 +0100] rev 34214
simplified init message -- removed redundant session property;
Wed, 30 Dec 2009 22:29:37 +0100 removed obsolete version check -- sanity delegated to Isabelle_System;
wenzelm [Wed, 30 Dec 2009 22:29:37 +0100] rev 34213
removed obsolete version check -- sanity delegated to Isabelle_System; tuned;
Wed, 30 Dec 2009 21:32:25 +0100 eliminated Markup.edits/EDITS: Isar.edit_document reports Markup.edit/EDIT while running under new document id;
wenzelm [Wed, 30 Dec 2009 21:32:25 +0100] rev 34212
eliminated Markup.edits/EDITS: Isar.edit_document reports Markup.edit/EDIT while running under new document id; eliminated ML interface of Isar_Document: the protocol only works with certain transaction positions, i.e. via Isar commands;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip