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 missing smlnj target
authorkrauss
Tue, 29 Mar 2011 22:06:53 +0200
changeset 42157 99e359a9db27
parent 42151 4da4fc77664b
child 42158 9bcecd429f77
added missing smlnj target
src/Tools/WWW_Find/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 17:47:11 2011 +0200
+++ b/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 22:06:53 2011 +0200
@@ -9,6 +9,7 @@
 images:
 test: Pure-WWW_Find
 all: images test
+smlnj: all
 
 
 ## global settings
isabelle