| Sat, 14 Jan 2012 14:34:42 +0100 | wenzelm | clarified partial restrict operation; | changeset | files |
| Sat, 14 Jan 2012 13:22:39 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Jan 2012 13:11:32 +0100 | wenzelm | ignore empty gfx_range; | changeset | files |
| Sat, 14 Jan 2012 12:36:43 +0100 | wenzelm | tuned signature; | changeset | files |