Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 02 Jan 2010 00:08:47 +0100 Download URLs -- with progress monitor.
changeset
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.
changeset
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;
changeset
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;
changeset
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;
changeset
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;
changeset
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;
changeset
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;
Wed, 30 Dec 2009 20:25:35 +0100 tuned signature;
changeset
wenzelm [Wed, 30 Dec 2009 20:25:35 +0100] rev 34211
tuned signature;
Wed, 30 Dec 2009 13:05:00 +0100 less ambitious isatest for SML/NJ;
changeset
wenzelm [Wed, 30 Dec 2009 13:05:00 +0100] rev 34210
less ambitious isatest for SML/NJ;
Wed, 30 Dec 2009 10:24:53 +0100 killed a few warnings
changeset
krauss [Wed, 30 Dec 2009 10:24:53 +0100] rev 34209
killed a few warnings
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle