| 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 |