src/Pure/General/json.scala

--- a/src/Pure/General/json.scala	Thu Mar 01 12:24:08 2018 +0100
+++ b/src/Pure/General/json.scala	Thu Mar 01 15:02:45 2018 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/json.scala
     Author:     Makarius
 
-Support for JSON parsing.
+Support for JSON.
 */
 
 package isabelle