# HG changeset patch
# User wenzelm
# Date 1520777208 -3600
# Node ID b73d8ed73b35692f6a24f06d4f1cd5538b15ad34
# Parent  2457bea123e4f0d54880110ffcc3bc4fb4ffbcda
tuned comments;

diff -r 2457bea123e4 -r b73d8ed73b35 src/Pure/General/json.scala
--- a/src/Pure/General/json.scala	Sun Mar 11 15:05:43 2018 +0100
+++ b/src/Pure/General/json.scala	Sun Mar 11 15:06:48 2018 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/json.scala
     Author:     Makarius
 
-Support for JSON.
+Support for JSON: https://www.json.org/.
 */
 
 package isabelle