| Wed, 22 Aug 2012 12:07:11 +0200 | wenzelm | clarified bootstrapping of Pure; | changeset | files |
| Wed, 22 Aug 2012 11:56:13 +0200 | wenzelm | tuned errors; | changeset | files |
| Tue, 21 Aug 2012 22:26:34 +0200 | wenzelm | prefer File.full_path in accordance to check_file; | changeset | files |