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.
added "Meson" theory to Makefile
authorblanchet
Mon, 04 Oct 2010 22:01:34 +0200
changeset 39945 277addece9b7
parent 39944 03ac1fbc76d3
child 39946 78faa9b31202
added "Meson" theory to Makefile
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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