| Wed, 18 Dec 2024 11:59:44 +0100 | wenzelm | merged | changeset | files |
| Wed, 18 Dec 2024 11:59:38 +0100 | wenzelm | tuned GUI: more informative search_title; | changeset | files |
| Tue, 17 Dec 2024 23:07:13 +0100 | wenzelm | clarified induct rules: proper case_names; | changeset | files |
| Tue, 17 Dec 2024 15:35:46 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 17 Dec 2024 14:56:13 +0100 | wenzelm | tuned GUI: trim text as in org.gjt.sp.jedit.search.HyperSearchResult; | changeset | files |
| Tue, 17 Dec 2024 13:38:52 +0100 | wenzelm | clarified GUI: more auto_hovering_button instances; | changeset | files |
| Tue, 17 Dec 2024 13:14:55 +0100 | wenzelm | more robust: prefer official BasicSplitPaneUI operations; | changeset | files |
| Tue, 17 Dec 2024 12:36:37 +0100 | wenzelm | clarified split_pane layout: close on first display, open on first search; | changeset | files |