changeset 18708 | 4b3dadb4fe33 |
parent 17934 | ab08250b80df |
child 19046 | bc5c6c9b114e |
--- a/src/Pure/Thy/present.ML Thu Jan 19 15:45:10 2006 +0100 +++ b/src/Pure/Thy/present.ML Thu Jan 19 21:22:08 2006 +0100 @@ -83,7 +83,7 @@ fun print _ _ = (); end); -val _ = Context.add_setup [BrowserInfoData.init]; +val _ = Context.add_setup BrowserInfoData.init; fun get_info thy = if Context.theory_name thy mem_string [Context.ProtoPureN, Context.PureN, Context.CPureN]