| Wed, 14 Mar 2018 16:52:16 +0100 | wenzelm | more informative error with JSON result; | file | diff | annotate |
| Tue, 13 Mar 2018 20:02:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Mar 2018 16:08:13 +0100 | wenzelm | more operations for typed JSON values; | file | diff | annotate |
| Tue, 13 Mar 2018 10:54:40 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 12 Mar 2018 18:33:30 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 11 Mar 2018 15:06:48 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 01 Mar 2018 15:02:45 +0100 | wenzelm | tuned comment; | file | diff | annotate |