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/HOL/IsaMakefile
changeset 42064 f4e53c8630c0
parent 42063 a2a69b32d899
child 42071 04577a7e0c51 
--- a/src/HOL/IsaMakefile	Tue Mar 22 18:38:29 2011 +0100
+++ b/src/HOL/IsaMakefile	Tue Mar 22 19:04:32 2011 +0100
@@ -319,6 +319,7 @@
   Tools/Nitpick/nitpick_scope.ML \
   Tools/Nitpick/nitpick_tests.ML \
   Tools/Nitpick/nitpick_util.ML \
+  Tools/Nitpick/nitrox.ML \
   Tools/numeral.ML \
   Tools/numeral_simprocs.ML \
   Tools/numeral_syntax.ML \
isabelle