Mon, 18 Nov 2024 15:05:31 +0100 | wenzelm | clarified Tree_View.init_model: more uniform; | file | diff | annotate |
Thu, 07 Nov 2024 11:35:39 +0100 | wenzelm | revert 1206400b9b48: proper Node.unapply for Node.apply(null); | file | diff | annotate |
Wed, 06 Nov 2024 15:52:31 +0100 | wenzelm | clarified signature, with subtle change of semantics: proper non-null result; | file | diff | annotate |
Sun, 03 Nov 2024 21:04:12 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Sun, 03 Nov 2024 20:53:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 03 Nov 2024 20:05:06 +0100 | wenzelm | more robust; | file | diff | annotate |
Sun, 03 Nov 2024 20:01:26 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 03 Nov 2024 19:38:30 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |