| Mon, 10 Aug 2009 17:00:41 +0200 | nipkow | new lemma bij_comp | changeset | files |
| Sat, 08 Aug 2009 11:40:22 +0200 | wenzelm | refined mac-poly64 tests; | changeset | files |
| Fri, 07 Aug 2009 19:16:04 +0200 | wenzelm | tuned spacing of sections; | changeset | files |
| Thu, 06 Aug 2009 22:30:27 +0200 | wenzelm | more platforms; | changeset | files |
| Thu, 06 Aug 2009 20:46:33 +0200 | wenzelm | tuned header; | changeset | files |
| Thu, 06 Aug 2009 19:51:59 +0200 | wenzelm | misc changes to SOS by Philipp Meyer: | changeset | files |
| Wed, 05 Aug 2009 17:10:10 +0200 | wenzelm | settings for ATP_Manager component; | changeset | files |
| Wed, 05 Aug 2009 16:17:30 +0200 | wenzelm | merged | changeset | files |
| Wed, 05 Aug 2009 15:39:34 +0200 | wenzelm | SUBPROOF: recovered Goal.check_finished; | changeset | files |
| Tue, 04 Aug 2009 23:25:00 +0200 | wenzelm | added Isabelle_System.components; | changeset | files |
| 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 |