| Wed, 07 Jan 2009 12:09:39 +0100 | wenzelm | future_terminal_proof: no fork for interactive mode, assert_backward; | changeset | files |
| Wed, 07 Jan 2009 12:08:22 +0100 | wenzelm | added local_theory'; | changeset | files |
| Wed, 07 Jan 2009 08:04:12 +0100 | haftmann | merged | changeset | files |
| Wed, 07 Jan 2009 08:03:25 +0100 | haftmann | proper local_theory after Class.class | changeset | files |
| Tue, 06 Jan 2009 22:08:42 +0100 | wenzelm | more parallel loading; | changeset | files |
| Tue, 06 Jan 2009 21:55:51 +0100 | wenzelm | more parallel loading; | changeset | files |
| Tue, 06 Jan 2009 21:17:43 +0100 | wenzelm | merged | changeset | files |
| Tue, 06 Jan 2009 09:18:02 -0800 | huffman | merged. | changeset | files |