| Sat, 02 Jan 2010 23:18:58 +0100 | krauss | absorb structures Decompose and Descent into Termination, to simplify further restructuring | changeset | files |
| Sat, 02 Jan 2010 22:57:19 +0100 | nipkow | another legacy "asm_lr" | changeset | files |
| Sat, 02 Jan 2010 21:31:33 +0100 | nipkow | merged | changeset | files |
| Sat, 02 Jan 2010 21:31:15 +0100 | nipkow | removed legacy asm_lr | changeset | files |
| Sat, 02 Jan 2010 20:10:21 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Jan 2010 19:15:43 +0100 | nipkow | added lemmas | changeset | files |
| Fri, 01 Jan 2010 17:21:44 +0100 | nipkow | added lemma | changeset | files |
| Fri, 01 Jan 2010 16:34:51 +0100 | nipkow | removed FIXME | changeset | files |
| Sat, 02 Jan 2010 20:08:04 +0100 | wenzelm | tuned error handling; | changeset | files |
| Sat, 02 Jan 2010 01:14:49 +0100 | wenzelm | Standard_System.raw_execute: optional cwd; | changeset | files |
| Sat, 02 Jan 2010 00:08:47 +0100 | wenzelm | Download URLs -- with progress monitor. | changeset | files |
| Fri, 01 Jan 2010 21:26:02 +0100 | wenzelm | Future values -- Scala version. | changeset | files |
| Thu, 31 Dec 2009 23:47:09 +0100 | wenzelm | added simple dialogs; | changeset | files |
| Thu, 31 Dec 2009 00:35:54 +0100 | wenzelm | added is_ready; | changeset | files |
| Wed, 30 Dec 2009 22:56:46 +0100 | wenzelm | simplified init message -- removed redundant session property; | changeset | files |