| Mon, 05 Jan 2009 15:26:57 -0800 | huffman | use Thm.close_derivation instead of standard | changeset | files |
| Tue, 06 Jan 2009 21:17:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jan 2009 14:45:45 +0100 | wenzelm | merged | changeset | files |
| 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 |