| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Wed, 22 Apr 2020 17:52:14 +0200 | wenzelm | tuned signature -- avoid warnings; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Tue, 05 Mar 2019 18:44:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 17 Mar 2018 20:35:23 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 30 Jan 2018 23:01:38 +0100 | wenzelm | clarified breakgain: keeping it constant avoids margin fluctuation in Pretty_Tooltip vs. Pretty_Text_Area; | file | diff | annotate |
| Mon, 06 Mar 2017 17:05:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 02 Apr 2016 21:54:51 +0200 | wenzelm | proper type; | file | diff | annotate |
| Fri, 01 Apr 2016 14:38:54 +0200 | wenzelm | more robust pretty printing: permissive treatment of bad values; | file | diff | annotate |
| Mon, 21 Dec 2015 13:39:45 +0100 | wenzelm | clarified length of block with pre-existant forced breaks; | file | diff | annotate |
| Sun, 20 Dec 2015 12:50:48 +0100 | wenzelm | unused; | file | diff | annotate |
| Sun, 20 Dec 2015 12:48:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 19 Dec 2015 23:16:47 +0100 | wenzelm | more explicit Pretty.Tree, like in ML; | file | diff | annotate |
| Sat, 19 Dec 2015 19:07:14 +0100 | wenzelm | tuned; | file | diff | annotate |