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.
tuned message;
authorwenzelm
Wed, 02 Sep 2015 18:14:10 +0200
changeset 61086 fc7ab11128dc
parent 61085 30b0c4584244
child 61087 1e36b5d021f2
tuned message;
src/Pure/Isar/isar_cmd.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_cmd.ML	Wed Sep 02 17:25:14 2015 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Wed Sep 02 18:14:10 2015 +0200
@@ -143,7 +143,8 @@
 (* old-style defs *)
 
 fun add_defs ((unchecked, overloaded), args) thy =
- (legacy_feature "Old 'defs' command -- use 'definition' (with 'overloading') instead";
+ (legacy_feature ("Old 'defs' command -- use 'definition' (with 'overloading') instead" ^
+    Position.here (Position.thread_data ()));
   thy |>
     (if unchecked then Global_Theory.add_defs_unchecked_cmd else Global_Theory.add_defs_cmd)
       overloaded
isabelle