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 |
Fri, 17 Aug 2012 17:48:26 +0200 | wenzelm | renamed components to components_old, to make room for some directory of the same name; | changeset | files |