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.
included (empty) test goal for symmetry reasons
authoroheimb
Tue, 23 Apr 1996 16:44:22 +0200
changeset 1671 608196238072
parent 1670 d706a6dce930
child 1672 2c109cd2fdd0
included (empty) test goal for symmetry reasons
src/Pure/Makefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/Makefile	Tue Apr 23 12:38:16 1996 +0200
+++ b/src/Pure/Makefile	Tue Apr 23 16:44:22 1996 +0200
@@ -52,4 +52,8 @@
                 	$(COMP) is not poly or sml;;\
 	esac
 
+
+test: $(BIN)/Pure
+	
+
 .PRECIOUS:  $(BIN)/Pure
isabelle