equal
deleted
inserted
replaced
27 |
27 |
28 Pure: |
28 Pure: |
29 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
29 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
30 |
30 |
31 $(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ |
31 $(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ |
32 http_status.ML http_util.ML mime.ML scgi_req.ML scgi_server.ML \ |
32 html_templates.ML http_status.ML http_util.ML mime.ML scgi_req.ML \ |
33 socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML |
33 scgi_server.ML socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML |
34 @cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
34 @cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
35 |
35 |
36 |
36 |
37 ## clean |
37 ## clean |
38 |
38 |