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/Pure/System/isabelle_tool.scala
changeset 71808 e2ad50885887
parent 71740 83574f13d0f0
child 72159 40b5ee5889d2 
--- a/src/Pure/System/isabelle_tool.scala	Tue Apr 28 19:50:36 2020 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Tue Apr 28 21:47:22 2020 +0200
@@ -158,6 +158,7 @@
   Present.isabelle_tool,
   Profiling_Report.isabelle_tool,
   Server.isabelle_tool,
+  Sessions.isabelle_tool,
   Scala_Project.isabelle_tool,
   Update.isabelle_tool,
   Update_Cartouches.isabelle_tool,
isabelle