| Wed, 16 Nov 2011 21:16:36 +0100 | wenzelm | clarified Attrib.partial_evaluation; | changeset | files |
| Wed, 16 Nov 2011 20:56:21 +0100 | wenzelm | tagging is not stable under morphisms and need to be replayed dynamically (mixed_attribute); | changeset | files |
| Wed, 16 Nov 2011 17:59:58 +0100 | blanchet | compile | changeset | files |