Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/plugin.scala
changeset 67885 839a624aabb9
parent 67290 98b6cd12f963
child 68080 17f79ae49401 
--- a/src/Tools/jEdit/src/plugin.scala	Fri Mar 16 22:20:09 2018 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Fri Mar 16 22:50:56 2018 +0100
@@ -413,7 +413,7 @@
 
   /* HTTP server */
 
-  val http_root: String = "/" + Library.UUID()
+  val http_root: String = "/" + UUID()
 
   val http_server: HTTP.Server = HTTP.server(Document_Model.http_handlers(http_root))
isabelle