Mon, 31 Dec 2012 16:16:43 +0100 | wenzelm | tuned; | changeset | files |
Mon, 31 Dec 2012 15:56:17 +0100 | wenzelm | simplified quick start via "isabelle components -I"; | changeset | files |
Mon, 31 Dec 2012 14:58:21 +0100 | wenzelm | tuned signature -- eliminated obsolete Standard_System; | changeset | files |
Mon, 31 Dec 2012 13:49:01 +0100 | wenzelm | tuned signature; | changeset | files |
Mon, 31 Dec 2012 13:34:47 +0100 | wenzelm | recovered generic PIDE build; | changeset | files |
Mon, 31 Dec 2012 13:20:23 +0100 | wenzelm | updated for release; | changeset | files |
Mon, 31 Dec 2012 13:16:51 +0100 | wenzelm | updated for release; | changeset | files |