| Fri, 11 Sep 2020 13:54:22 +0200 | wenzelm | more checks; | changeset | files |
| Fri, 11 Sep 2020 12:56:01 +0200 | wenzelm | more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a); | changeset | files |
| Fri, 11 Sep 2020 12:17:19 +0200 | wenzelm | updated documentation; | changeset | files |
| Fri, 11 Sep 2020 11:44:03 +0200 | wenzelm | tuned documentation; | changeset | files |
| Thu, 10 Sep 2020 21:14:50 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 10 Sep 2020 21:07:58 +0200 | wenzelm | more uniform JVM vs. ML status widget; | changeset | files |
| Thu, 10 Sep 2020 16:04:12 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 08 Sep 2020 21:14:42 +0200 | wenzelm | update to official jedit-5.6.0; | changeset | files |
| Tue, 08 Sep 2020 15:30:37 +0100 | paulson | merged | changeset | files |
| Tue, 08 Sep 2020 15:30:15 +0100 | paulson | tidying and de-applying | changeset | files |
| Tue, 08 Sep 2020 11:39:16 +0000 | haftmann | restructured | changeset | files |
| Mon, 07 Sep 2020 16:14:32 +0000 | haftmann | tuned theory structure | changeset | files |
| Mon, 07 Sep 2020 08:47:28 +0000 | haftmann | more on conversions | changeset | files |
| Sat, 05 Sep 2020 16:21:16 +0000 | haftmann | generalized signed_take_bit | changeset | files |