Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 42405 13ecdb3057d8
parent 42288 2074b31650e6
child 42504 869c3f6f2d6e 
--- a/src/Pure/IsaMakefile	Tue Apr 19 16:13:04 2011 +0200
+++ b/src/Pure/IsaMakefile	Tue Apr 19 20:47:02 2011 +0200
@@ -253,6 +253,7 @@
   thm.ML						\
   type.ML						\
   type_infer.ML						\
+  type_infer_context.ML					\
   unify.ML						\
   variable.ML
 	@./mk
isabelle