Tue, 18 Jan 2011 11:42:11 +0100 | wenzelm | more notes on final release stage; | changeset | files |
Mon, 17 Jan 2011 23:04:35 +0100 | wenzelm | makedist: refer to isabelle-release; | changeset | files |
Mon, 17 Jan 2011 22:57:22 +0100 | wenzelm | Added tag isa2011-test1 for changeset 7d035da21e9c | changeset | files |