Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 05 Dec 2020 14:36:41 +0100
changeset 72824 eb526f6c92b7
parent 72823 ab1a49ac456b
child 72825 a44c30d08bb0
tuned;
src/Pure/PIDE/command.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/command.scala	Sat Dec 05 13:45:09 2020 +0100
+++ b/src/Pure/PIDE/command.scala	Sat Dec 05 14:36:41 2020 +0100
@@ -8,7 +8,6 @@
 package isabelle
 
 
-import scala.collection.mutable
 import scala.collection.immutable.SortedMap
isabelle