Fri, 17 Aug 2012 19:08:55 +0200 | wenzelm | updated to new init_components, hoping that mira can digest that; | changeset | files |
Fri, 17 Aug 2012 19:07:14 +0200 | wenzelm | some explanations on component categories; | changeset | files |
Fri, 17 Aug 2012 18:04:49 +0200 | wenzelm | specific cygwin components; | changeset | files |
Fri, 17 Aug 2012 17:37:27 +0200 | wenzelm | obsolete; | changeset | files |
Fri, 17 Aug 2012 17:35:07 +0200 | wenzelm | some explanations on isabelle components; | changeset | files |
Fri, 17 Aug 2012 17:52:10 +0200 | wenzelm | some grouping of components; | changeset | files |