| 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 |
| 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 |
| Fri, 17 Aug 2012 15:05:57 +0200 | wenzelm | minor robustification; | changeset | files |
| Fri, 17 Aug 2012 14:56:37 +0200 | wenzelm | added "isabelle components" tool; | changeset | files |
| Fri, 17 Aug 2012 14:55:46 +0200 | wenzelm | tuned; | changeset | files |