| Wed, 16 Nov 2011 23:09:46 +0100 | wenzelm | retain mixed attributes as dynamic theorem expression, but disallow subsequent static rules; | changeset | files |
| 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 |
| Wed, 16 Nov 2011 17:26:42 +0100 | blanchet | compile | changeset | files |
| Wed, 16 Nov 2011 17:19:08 +0100 | blanchet | compile | changeset | files |
| Wed, 16 Nov 2011 17:06:14 +0100 | blanchet | give each time slice its own lambda translation | changeset | files |