| Wed, 02 Jun 2010 11:09:26 +0200 | wenzelm | normalize and postprocess proof body in a separate future, taking care of platforms without multithreading (greately improves parallelization in general without the overhead of promised proofs, cf. usedir -q 0); | changeset | files |
| Wed, 02 Jun 2010 08:01:45 +0200 | haftmann | merged | changeset | files |
| Tue, 01 Jun 2010 17:25:00 +0200 | haftmann | avoid store flag in add_* operations | changeset | files |
| Tue, 01 Jun 2010 22:19:17 +0200 | wenzelm | arities: no need to maintain original codomain (cf. f795c1164708) -- completion happens in axclass.ML; | changeset | files |
| Tue, 01 Jun 2010 17:36:53 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Jun 2010 15:59:01 +0200 | haftmann | do not expose store flag of AxClass.add_* | changeset | files |
| Tue, 01 Jun 2010 13:59:13 +0200 | haftmann | merged | changeset | files |