# HG changeset patch
# User wenzelm
# Date 1519912965 -3600
# Node ID 65016740d3e015fd0dae3d0ffcbe4dd535617f2a
# Parent  e2e002d4a4de90242057358c6ea270eed4cd7e67
tuned comment;

diff -r e2e002d4a4de -r 65016740d3e0 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