src/Pure/General/json.scala
Tue, 13 Mar 2018 10:54:40 +0100 wenzelm clarified signature;
Mon, 12 Mar 2018 18:33:30 +0100 wenzelm clarified signature;
Sun, 11 Mar 2018 15:06:48 +0100 wenzelm tuned comments;
Thu, 01 Mar 2018 15:02:45 +0100 wenzelm tuned comment;
Fri, 01 Dec 2017 18:20:15 +0100 wenzelm more accurate JSON parsing according to http://seriot.ch/parsing_json.php
Fri, 27 Oct 2017 17:04:41 +0200 wenzelm tuned signature;
Fri, 27 Oct 2017 16:21:29 +0200 wenzelm tuned signature;
less more (0) -10 -7 tip