Sat, 01 Dec 2012 19:51:43 +0100 | wenzelm | updated to jedit-5.0.0; | changeset | files |
Sat, 01 Dec 2012 17:23:50 +0100 | wenzelm | more generic directory name to facilitate tracking changes of diffs; | changeset | files |
Fri, 30 Nov 2012 23:06:11 +0100 | wenzelm | merged | changeset | files |
Fri, 30 Nov 2012 17:12:01 +0100 | nipkow | tuned | changeset | files |
Fri, 30 Nov 2012 22:55:02 +0100 | wenzelm | added 'print_inductives' command; | changeset | files |
Fri, 30 Nov 2012 22:38:06 +0100 | wenzelm | print formal entities with markup; | changeset | files |