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 Mutil to ex targets
authorpaulson
Wed, 27 Mar 1996 18:47:25 +0100
changeset 1620 5bddaab64e0a
parent 1619 cb62d89b7adb
child 1621 d92f42acdb26
Added Mutil to ex targets
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/Makefile	Wed Mar 27 18:46:42 1996 +0100
+++ b/src/HOL/Makefile	Wed Mar 27 18:47:25 1996 +0100
@@ -181,8 +181,8 @@
         fi
 
 ##Miscellaneous examples
-EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String \
-	   BT Perm
+EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
+	   String BT Perm
 
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \
            ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
isabelle