# HG changeset patch
# User wenzelm
# Date 1615757681 -3600
# Node ID 69d449f0ca045459b603eac9e3cdf8242ba9d268
# Parent  5614aab3f83e9ac0104f95d7d102c644390bbf82
tuned comments;

diff -r 5614aab3f83e -r 69d449f0ca04 src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Sun Mar 14 21:41:28 2021 +0100
+++ b/src/Pure/General/http.scala	Sun Mar 14 22:34:41 2021 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/http.scala
     Author:     Makarius
 
-HTTP server support.
+HTTP client and server support.
 */
 
 package isabelle