| Sat, 07 Mar 2009 16:47:36 +0100 | blanchet | Added a second timeout mechanism to Refute. | changeset | files |
| Sat, 07 Mar 2009 12:27:26 +0100 | blanchet | merged | changeset | files |
| Sat, 07 Mar 2009 12:26:56 +0100 | blanchet | Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option. | changeset | files |
| Sat, 07 Mar 2009 23:30:58 +0100 | wenzelm | minimal adaptions for abstract binding type; | changeset | files |
| Sat, 07 Mar 2009 22:17:25 +0100 | wenzelm | more uniform handling of binding in packages; | changeset | files |
| Sat, 07 Mar 2009 22:16:50 +0100 | wenzelm | more uniform handling of binding in targets and derived elements; | changeset | files |