| changeset 43075 | 6fde0c323c15 |
| parent 43073 | a4c985fe015d |
| child 45026 | 5c0b0d67f9b1 |
--- a/src/Tools/WWW_Find/IsaMakefile Mon May 30 17:07:48 2011 +0200 +++ b/src/Tools/WWW_Find/IsaMakefile Mon May 30 17:07:48 2011 +0200 @@ -30,7 +30,8 @@ $(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ html_templates.ML http_status.ML http_util.ML mime.ML scgi_req.ML \ - scgi_server.ML socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML + scgi_server.ML socket_util.ML unicode_symbols.ML xhtml.ML yxml_find_theorems.ML \ + ROOT.ML @cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find