| Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | changeset | files |
| Tue, 04 Aug 2009 16:13:16 +0200 | wenzelm | etc/components; | changeset | files |
| Tue, 04 Aug 2009 16:11:11 +0200 | wenzelm | turned object-logics into components; | changeset | files |
| Tue, 04 Aug 2009 16:09:46 +0200 | wenzelm | spelling; | changeset | files |
| Tue, 04 Aug 2009 15:59:57 +0200 | wenzelm | tuned "Bootstrapping the environment"; | changeset | files |
| Tue, 04 Aug 2009 15:05:34 +0200 | wenzelm | change IFS only locally -- thanks to bash arrays; | changeset | files |