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 39945 277addece9b7
parent 39940 1f01c9b2b76b
child 39946 78faa9b31202 
--- a/src/HOL/IsaMakefile	Mon Oct 04 21:57:23 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 04 22:01:34 2010 +0200
@@ -154,6 +154,7 @@
   Groups.thy \
   Inductive.thy \
   Lattices.thy \
+  Meson.thy \
   Nat.thy \
   Option.thy \
   Orderings.thy \
isabelle