| Sat, 14 Jan 2012 15:44:44 +0100 | wenzelm | paranoia null check -- prevent spurious crash of jedit token markup; | changeset | files |
| Sat, 14 Jan 2012 15:30:54 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 14 Jan 2012 15:20:29 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Fri, 13 Jan 2012 12:31:22 +0100 | nipkow | tuned | changeset | files |