| Thu, 07 Nov 2013 19:17:53 +0100 | wenzelm | updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875); | changeset | files |
| Thu, 07 Nov 2013 13:38:44 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Nov 2013 13:34:04 +0100 | wenzelm | misc tuning; | changeset | files |
| 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 |
| Wed, 06 Nov 2013 18:15:25 +0100 | wenzelm | less tiny font for search criteria; | changeset | files |
| Wed, 06 Nov 2013 18:04:36 +0100 | wenzelm | tuned tooltips; | changeset | files |