| Wed, 06 Mar 2024 09:43:25 +0100 | desharna | merged | changeset | files |
| Wed, 06 Mar 2024 09:26:40 +0100 | desharna | removed unused variable | changeset | files |
| Wed, 06 Mar 2024 09:25:34 +0100 | desharna | added virtual, greedy portfolio for E 3.0 | changeset | files |
| Tue, 05 Mar 2024 21:44:52 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Mar 2024 21:26:18 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 05 Mar 2024 20:58:41 +0100 | wenzelm | Added tag Isabelle2024-RC0 for changeset 98f009f56400 | changeset | files |
| Tue, 05 Mar 2024 20:58:19 +0100 | wenzelm | updated for release; | changeset | files |
| Tue, 05 Mar 2024 20:58:11 +0100 | wenzelm | updated for release; | changeset | files |
| Tue, 05 Mar 2024 20:41:07 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 05 Mar 2024 20:25:02 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Tue, 05 Mar 2024 20:20:45 +0100 | wenzelm | tuned whitespace: avoid TABs; | changeset | files |
| Tue, 05 Mar 2024 20:20:34 +0100 | wenzelm | avoid suspicious Unicode; | changeset | files |
| Tue, 05 Mar 2024 20:13:20 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 05 Mar 2024 19:21:07 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Tue, 05 Mar 2024 18:42:09 +0100 | wenzelm | merged | changeset | files |