Sun, 22 Nov 2009 22:04:51 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
Sun, 22 Nov 2009 14:59:27 +0100 | wenzelm | remove presently unused Isabelle application; | changeset | files |
Sun, 22 Nov 2009 14:49:36 +0100 | wenzelm | more NEWS, more tuning for release; | changeset | files |