| Tue, 06 Jan 2009 14:43:35 +0100 | wenzelm | renamed structure ParList to Par_List; | changeset | files |
| Tue, 06 Jan 2009 14:33:49 +0100 | wenzelm | parallelized merge_data; | changeset | files |
| Tue, 06 Jan 2009 13:46:48 +0100 | wenzelm | tuned map: reduced overhead due to bulk jobs; | changeset | files |
| Tue, 06 Jan 2009 13:43:17 +0100 | wenzelm | added is_valid; | changeset | files |
| Tue, 06 Jan 2009 13:36:42 +0100 | wenzelm | future_terminal_proof: check Future.enabled; | changeset | files |
| Tue, 06 Jan 2009 08:50:12 +0100 | haftmann | merged | changeset | files |
| Tue, 06 Jan 2009 08:50:02 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:55:51 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:55:04 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:37:49 +0100 | haftmann | removed locale adaption layer | changeset | files |
| Mon, 05 Jan 2009 15:36:24 +0100 | haftmann | rearranged target theories | changeset | files |
| Mon, 05 Jan 2009 15:35:42 +0100 | haftmann | removed locale adaption layer | changeset | files |
| Mon, 05 Jan 2009 19:37:15 +0100 | wenzelm | merged | changeset | files |
| Mon, 05 Jan 2009 18:13:26 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 05 Jan 2009 07:54:16 -0800 | huffman | merged. | changeset | files |
| Mon, 29 Dec 2008 11:04:27 -0800 | huffman | add lemma psize_unique; simplify some proofs | changeset | files |