| Fri, 10 Jan 2014 12:30:05 +0100 | wenzelm | merged | changeset | files |
| Fri, 10 Jan 2014 12:29:25 +0100 | wenzelm | more robust; | changeset | files |
| Fri, 10 Jan 2014 12:05:15 +0100 | wenzelm | merged | changeset | files |
| Thu, 09 Jan 2014 21:11:05 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 09 Jan 2014 20:17:15 +0100 | wenzelm | access X11 window manager; | changeset | files |
| Fri, 10 Jan 2014 11:47:10 +0100 | traytel | new codatatype example: stream processors | changeset | files |
| Fri, 10 Jan 2014 12:09:11 +0100 | traytel | use the right context in tactic | changeset | files |
| Fri, 10 Jan 2014 09:48:11 +0100 | blanchet | fixed 'disc_iff' tactic in the case where different equations use different variable names for the function arguments | changeset | files |