| Mon, 02 Aug 2021 14:08:42 +0200 | wenzelm | clarified jEdit java sources; | changeset | files |
| Mon, 02 Aug 2021 13:50:45 +0200 | wenzelm | clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; | changeset | files |
| Mon, 02 Aug 2021 13:30:56 +0200 | wenzelm | removed junk; | changeset | files |
| Mon, 02 Aug 2021 10:01:06 +0000 | haftmann | moved theory Bit_Operations into Main corpus | changeset | files |
| Sun, 01 Aug 2021 23:18:13 +0200 | wenzelm | more operations; | changeset | files |
| Sun, 01 Aug 2021 18:12:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 01 Aug 2021 16:12:08 +0200 | wenzelm | clarified signature; | changeset | files |