| Wed, 06 Nov 2013 21:20:20 +0100 | wenzelm | updated to jedit_build-20131106 (Console.jar 5.1.3); | changeset | files |
| Wed, 06 Nov 2013 20:58:11 +0100 | wenzelm | join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status; | changeset | files |
| Wed, 06 Nov 2013 20:46:00 +0100 | wenzelm | tuned signature; | changeset | files |