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.
fixed update_thy_only;
authorwenzelm
Wed, 20 Oct 1999 00:09:36 +0200
changeset 7885 757dac39c579
parent 7884 2c65e8212115
child 7886 8fa551e22e52
fixed update_thy_only;
src/Pure/Isar/isar_syn.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_syn.ML	Tue Oct 19 16:23:46 1999 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Wed Oct 20 00:09:36 1999 +0200
@@ -540,7 +540,7 @@
 
 val update_thy_onlyP =
   OuterSyntax.improper_command "update_thy_only" "update theory file, ignoring associated ML"
-    K.diag (P.name >> IsarCmd.update_thy);
+    K.diag (P.name >> IsarCmd.update_thy_only);
 
 val touch_thyP =
   OuterSyntax.improper_command "touch_thy" "outdate theory, including descendants" K.diag
isabelle