| Wed, 06 Jan 2010 23:18:44 +0100 | wenzelm | more text edit operations; | changeset | files |
| Wed, 06 Jan 2010 23:18:12 +0100 | wenzelm | always report updates -- required has "handshake"; | changeset | files |
| Wed, 06 Jan 2010 22:21:25 +0100 | wenzelm | tuned Isabelle/Scala build; | changeset | files |
| Wed, 06 Jan 2010 22:18:52 +0100 | wenzelm | simplified build/bootstrap of graph browser -- avoid make; | changeset | files |
| Wed, 06 Jan 2010 20:00:22 +0100 | wenzelm | simplified build/bootstrap of Isabelle/Scala components -- avoid make; | changeset | files |
| Wed, 06 Jan 2010 18:22:43 +0100 | wenzelm | more robust cancelation, notably of passive futures without scheduler running; | changeset | files |