| Fri, 27 Dec 2024 17:26:51 +0100 | wenzelm | tuned generated output: more standard operations; | changeset | files |
| Fri, 27 Dec 2024 17:26:01 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Fri, 27 Dec 2024 16:54:48 +0100 | wenzelm | more accurate treatment of plain text (amending eede0cf38a63); | changeset | files |
| Fri, 27 Dec 2024 16:14:16 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Fri, 27 Dec 2024 15:59:08 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 27 Dec 2024 14:31:38 +0100 | wenzelm | tuned, following theories_status.scala; | changeset | files |
| Thu, 26 Dec 2024 16:42:32 +0100 | wenzelm | tuned imports; | changeset | files |
| Thu, 26 Dec 2024 16:33:46 +0100 | wenzelm | tuned GUI output; | changeset | files |
| Thu, 26 Dec 2024 16:16:28 +0100 | wenzelm | clarified signature: ensure uniform style; | changeset | files |
| Thu, 26 Dec 2024 15:43:07 +0100 | wenzelm | tuned GUI output; | changeset | files |
| Thu, 26 Dec 2024 15:38:57 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 26 Dec 2024 15:38:21 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 26 Dec 2024 15:24:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 26 Dec 2024 15:18:19 +0100 | wenzelm | drop redundant space in HTML (see also 18a720984855); | changeset | files |
| Thu, 26 Dec 2024 13:44:10 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 26 Dec 2024 13:22:28 +0100 | wenzelm | more robust: proper HTML.output; | changeset | files |
| Thu, 26 Dec 2024 12:46:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 26 Dec 2024 12:38:25 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Thu, 26 Dec 2024 12:08:05 +0100 | wenzelm | clarified output; | changeset | files |
| Thu, 26 Dec 2024 12:03:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 24 Dec 2024 16:57:28 +0100 | wenzelm | more GUI styles; | changeset | files |
| Tue, 24 Dec 2024 14:59:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 23 Dec 2024 14:09:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 22 Dec 2024 14:21:39 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sun, 22 Dec 2024 14:13:21 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sun, 22 Dec 2024 14:11:31 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 23 Dec 2024 21:58:26 +0100 | haftmann | some bit operations on target numerals | changeset | files |
| Mon, 23 Dec 2024 21:22:10 +0100 | haftmann | explicit tests for target-language bit operations | changeset | files |