| Fri, 12 Oct 2012 23:38:48 +0200 | wenzelm | further refinement of jEdit line range, avoiding lack of final \n; | changeset | files |
| Fri, 12 Oct 2012 22:53:20 +0200 | wenzelm | more uniform tooltip color; | changeset | files |
| Fri, 12 Oct 2012 22:10:45 +0200 | wenzelm | more NEWS; | changeset | files |
| Fri, 12 Oct 2012 21:51:25 +0200 | wenzelm | merged | changeset | files |
| Fri, 12 Oct 2012 15:52:55 +0200 | traytel | disambiguated grammar | changeset | files |
| Fri, 12 Oct 2012 15:52:45 +0200 | traytel | tuned proofs | changeset | files |
| Fri, 12 Oct 2012 14:57:56 +0200 | nipkow | tuned | changeset | files |
| Fri, 12 Oct 2012 21:39:58 +0200 | wenzelm | simplified 'typedef' specifications: discontinued implicit set definition and alternative name; | changeset | files |