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.
obsolete;
authorwenzelm
Thu, 03 Mar 2016 22:24:58 +0100
changeset 62510 77a5f21c449b
parent 62509 13d6948e4b12
child 62511 93fa1efc7219
obsolete;
src/Pure/ML/ml_name_space.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_name_space.ML	Thu Mar 03 22:16:52 2016 +0100
+++ b/src/Pure/ML/ml_name_space.ML	Thu Mar 03 22:24:58 2016 +0100
@@ -15,9 +15,7 @@
   type valueVal = Values.value;
   fun displayVal (x, depth, space) = Values.printWithType (x, depth, SOME space);
   fun displayTypeExpression (x, depth, space) = Values.printType (x, depth, SOME space);
-  val initial_val =
-    List.filter (fn (a, _) => a <> "use" andalso a <> "exit" andalso a <> "commit")
-      (#allVal global ());
+  val initial_val = List.filter (fn (a, _) => a <> "use" andalso a <> "exit") (#allVal global ());
 
   type typeVal = TypeConstrs.typeConstr;
   fun displayType (x, depth, space) = TypeConstrs.print (x, depth, SOME space);
isabelle