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.
removed the reference to mesontest2.ML, itself now deleted
authorpaulson
Mon, 16 Nov 1998 10:37:54 +0100
changeset 5866 de6a1856c74a
parent 5865 2303f5a3036d
child 5867 1c4806b4bf43
removed the reference to mesontest2.ML, itself now deleted
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Mon Nov 16 10:36:30 1998 +0100
+++ b/src/HOL/ex/ROOT.ML	Mon Nov 16 10:37:54 1998 +0100
@@ -21,7 +21,6 @@
 time_use     "cla.ML";
 time_use     "meson.ML";
 time_use     "mesontest.ML";
-(** time_use "mesontest2.ML";  ULTRA SLOW **)
 time_use_thy "BT";
 time_use_thy "InSort";
 time_use_thy "Qsort";
isabelle