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.
unused;
authorwenzelm
Fri, 29 Sep 2017 22:43:29 +0200
changeset 66722 9c661b74ce92
parent 66721 ae38b8c0fdd9
child 66723 18cc87e2335f
unused;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Fri Sep 29 22:41:19 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Sep 29 22:43:29 2017 +0200
@@ -102,8 +102,6 @@
 
   object Base
   {
-    def pure(options: Options): Base = session_base(options, Thy_Header.PURE)
-
     def bootstrap(global_theories: Map[String, String]): Base =
       Base(
         global_theories = global_theories,
isabelle