Wed, 29 Dec 2010 21:52:44 +0100 | krauss | more robust decomposition of simultaneous goals | changeset | files |
Wed, 29 Dec 2010 21:52:41 +0100 | krauss | function (default) is legacy feature | changeset | files |
Wed, 29 Dec 2010 21:21:11 +0100 | wenzelm | more scalable Symbol_Pos.explode; | changeset | files |