| changeset 45066 | 11f622794ad6 |
| parent 45026 | 5c0b0d67f9b1 |
| child 45860 | 93eda35a8377 |
--- a/src/Tools/WWW_Find/IsaMakefile Fri Sep 23 17:11:08 2011 +0200 +++ b/src/Tools/WWW_Find/IsaMakefile Fri Sep 23 17:23:54 2011 +0200 @@ -30,7 +30,7 @@ $(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 server_socket.ML unicode_symbols.ML xhtml.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