Mon, 20 Mar 2017 17:24:40 +0100 | wenzelm | tuned; | changeset | files |
Mon, 20 Mar 2017 15:37:14 +0100 | wenzelm | more operations; | changeset | files |
Mon, 20 Mar 2017 14:36:15 +0100 | wenzelm | tuned signature; | changeset | files |
Mon, 20 Mar 2017 14:25:06 +0100 | wenzelm | eliminated redundant check (see also 27328dcaf64c vs. 9c53198dbb1c); | changeset | files |
Mon, 20 Mar 2017 21:01:47 +0100 | ballarin | Corrected affiliation. | changeset | files |
Sun, 19 Mar 2017 20:28:21 +0100 | wenzelm | updated to jedit-5.4.0; | changeset | files |
Sun, 19 Mar 2017 18:28:32 +0100 | wenzelm | misc tuning and modernization; | changeset | files |