| Sat, 14 Jan 2012 16:58:29 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 14 Jan 2012 16:25:54 +0100 | wenzelm | discontinued default rendering for Oheimb's double-space; | changeset | files |
| Sat, 14 Jan 2012 16:14:22 +0100 | wenzelm | tuned white space; | changeset | files |
| Sat, 14 Jan 2012 16:12:09 +0100 | wenzelm | tuned comment; | changeset | files |
| 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 |
| Fri, 13 Jan 2012 11:55:06 +0100 | wenzelm | handle specific exception, not arbitrary ones (including Interrupt); | changeset | files |
| Fri, 13 Jan 2012 11:50:28 +0100 | wenzelm | eliminated dead code; | changeset | files |