Wed, 13 Feb 2013 21:53:02 +0100 | wenzelm | clarified default according to etc/options; | changeset | files |
Wed, 13 Feb 2013 19:52:58 +0100 | wenzelm | Java assumes regular "re-parenting" window manager; | changeset | files |
Wed, 13 Feb 2013 17:41:27 +0100 | immler | merged | changeset | files |
Wed, 13 Feb 2013 16:35:07 +0100 | immler | complete metric for formal power series | changeset | files |
Wed, 13 Feb 2013 16:35:07 +0100 | immler | eliminated union_closed_basis; cleanup Fin_Map | changeset | files |
Wed, 13 Feb 2013 16:35:07 +0100 | immler | fine grained instantiations | changeset | files |