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 |