andersk@1906: $(SRC)/config.sig
adamc@378: config.sml
adamc@378: 
andersk@1906: $(SRC)/search.sig
andersk@1906: $(SRC)/search.sml
adamc@6: 
andersk@1906: $(SRC)/list_util.sig
andersk@1906: $(SRC)/list_util.sml
adamc@5: 
andersk@1906: $(SRC)/order.sig
andersk@1906: $(SRC)/order.sml
adamc@193: 
andersk@1906: $(SRC)/errormsg.sig
andersk@1906: $(SRC)/errormsg.sml
adamc@0: 
andersk@1906: $(SRC)/print.sig
andersk@1906: $(SRC)/print.sml
adamc@876: 
andersk@1906: $(SRC)/settings.sig
andersk@1906: $(SRC)/settings.sml
adamc@764: 
andersk@1906: $(SRC)/http.sig
andersk@1906: $(SRC)/http.sml
adamc@865: 
andersk@1906: $(SRC)/cgi.sig
andersk@1906: $(SRC)/cgi.sml
adamc@858: 
andersk@1906: $(SRC)/fastcgi.sig
andersk@1906: $(SRC)/fastcgi.sml
adamc@859: 
andersk@1906: $(SRC)/static.sig
andersk@1906: $(SRC)/static.sml
adam@1493: 
andersk@1906: $(SRC)/prim.sig
andersk@1906: $(SRC)/prim.sml
adam@1656: 
andersk@1906: $(SRC)/mysql.sig
andersk@1906: $(SRC)/mysql.sml
adamc@866: 
andersk@1906: $(SRC)/sqlite.sig
andersk@1906: $(SRC)/sqlite.sml
adamc@885: 
andersk@1906: $(SRC)/datatype_kind.sml
adamc@732: 
andersk@1906: $(SRC)/export.sig
andersk@1906: $(SRC)/export.sml
adamc@731: 
andersk@1906: $(SRC)/source.sml
adamc@1: 
andersk@1906: $(SRC)/utf8.sig
andersk@1906: $(SRC)/utf8.sml
adam@1592: 
adam@1592: ../xml/entities.sml
adam@1592: 
adamc@244: urweb.grm
adamc@244: urweb.lex
adamc@1: 
andersk@1906: $(SRC)/source_print.sig
andersk@1906: $(SRC)/source_print.sml
adamc@1: 
andersk@1906: $(SRC)/elab.sml
adamc@2: 
andersk@1906: $(SRC)/elab_util.sig
andersk@1906: $(SRC)/elab_util.sml
adamc@13: 
andersk@1906: $(SRC)/elab_env.sig
andersk@1906: $(SRC)/elab_env.sml
adamc@10: 
andersk@1906: $(SRC)/elab_print.sig
andersk@1906: $(SRC)/elab_print.sml
adamc@3: 
andersk@1906: $(SRC)/elab_ops.sig
andersk@1906: $(SRC)/elab_ops.sml
adamc@81: 
andersk@1906: $(SRC)/disjoint.sig
andersk@1906: $(SRC)/disjoint.sml
adamc@82: 
andersk@1906: $(SRC)/elab_err.sig
andersk@1906: $(SRC)/elab_err.sml
adamc@329: 
andersk@1906: $(SRC)/mod_db.sig
andersk@1906: $(SRC)/mod_db.sml
adam@1732: 
andersk@1906: $(SRC)/elaborate.sig
andersk@1906: $(SRC)/elaborate.sml
adamc@2: 
andersk@1906: $(SRC)/unnest.sig
andersk@1906: $(SRC)/unnest.sml
adamc@448: 
andersk@1906: $(SRC)/termination.sig
andersk@1906: $(SRC)/termination.sml
adamc@313: 
andersk@1906: $(SRC)/expl.sml
adamc@38: 
andersk@1906: $(SRC)/expl_util.sig
andersk@1906: $(SRC)/expl_util.sml
adamc@38: 
andersk@1906: $(SRC)/expl_env.sig
andersk@1906: $(SRC)/expl_env.sml
adamc@38: 
andersk@1906: $(SRC)/expl_print.sig
andersk@1906: $(SRC)/expl_print.sml
adamc@38: 
andersk@1906: $(SRC)/explify.sig
andersk@1906: $(SRC)/explify.sml
adamc@38: 
andersk@1906: $(SRC)/core.sml
adamc@16: 
andersk@1906: $(SRC)/core_util.sig
andersk@1906: $(SRC)/core_util.sml
adamc@16: 
andersk@1906: $(SRC)/core_env.sig
andersk@1906: $(SRC)/core_env.sml
adamc@16: 
andersk@1906: $(SRC)/core_print.sig
andersk@1906: $(SRC)/core_print.sml
adamc@16: 
adam@1989: $(SRC)/expl_rename.sig
adam@1989: $(SRC)/expl_rename.sml
adam@1989: 
andersk@1906: $(SRC)/corify.sig
andersk@1906: $(SRC)/corify.sml
adamc@16: 
andersk@1906: $(SRC)/reduce_local.sig
andersk@1906: $(SRC)/reduce_local.sml
adamc@20: 
andersk@1906: $(SRC)/shake.sig
andersk@1906: $(SRC)/shake.sml
adamc@23: 
andersk@1906: $(SRC)/core_untangle.sig
andersk@1906: $(SRC)/core_untangle.sml
adam@1289: 
andersk@1906: $(SRC)/especialize.sig
andersk@1906: $(SRC)/especialize.sml
adam@1289: 
andersk@1906: $(SRC)/reduce.sig
andersk@1906: $(SRC)/reduce.sml
adamc@1276: 
andersk@1906: $(SRC)/unpoly.sig
andersk@1906: $(SRC)/unpoly.sml
adamc@315: 
andersk@1906: $(SRC)/specialize.sig
andersk@1906: $(SRC)/specialize.sml
adamc@193: 
andersk@1906: $(SRC)/rpcify.sig
andersk@1906: $(SRC)/rpcify.sml
adamc@607: 
andersk@1906: $(SRC)/tag.sig
andersk@1906: $(SRC)/tag.sml
adamc@110: 
andersk@1906: $(SRC)/effectize.sig
andersk@1906: $(SRC)/effectize.sml
adamc@732: 
andersk@1906: $(SRC)/marshalcheck.sig
andersk@1906: $(SRC)/marshalcheck.sml
adamc@680: 
andersk@1906: $(SRC)/css.sig
andersk@1906: $(SRC)/css.sml
adamc@1170: 
andersk@1906: $(SRC)/mono.sml
adamc@25: 
andersk@1906: $(SRC)/mono_util.sig
andersk@1906: $(SRC)/mono_util.sml
adamc@26: 
andersk@1906: $(SRC)/mono_env.sig
andersk@1906: $(SRC)/mono_env.sml
adamc@25: 
andersk@1906: $(SRC)/mono_print.sig
andersk@1906: $(SRC)/mono_print.sml
adamc@25: 
ziv@2254: $(SRC)/mono_fooify.sig
ziv@2254: $(SRC)/mono_fooify.sml
ziv@2253: 
ziv@2215: $(SRC)/sql.sig
ziv@2215: $(SRC)/sql.sml
ziv@2215: 
ziv@2216: $(SRC)/union_find_fn.sml
ziv@2215: $(SRC)/multimap_fn.sml
ziv@2240: $(SRC)/option_key_fn.sml
ziv@2240: $(SRC)/triple_key_fn.sml
ziv@2215: 
ziv@2233: $(SRC)/cache.sml
ziv@2230: $(SRC)/toy_cache.sml
ziv@2234: $(SRC)/lru_cache.sml
ziv@2230: 
ziv@2215: $(SRC)/sqlcache.sig
ziv@2215: $(SRC)/sqlcache.sml
ziv@2215: 
andersk@1906: $(SRC)/monoize.sig
andersk@1906: $(SRC)/monoize.sml
adamc@108: 
andersk@1906: $(SRC)/mono_reduce.sig
andersk@1906: $(SRC)/mono_reduce.sml
adamc@453: 
andersk@1906: $(SRC)/mono_opt.sig
andersk@1906: $(SRC)/mono_opt.sml
adamc@96: 
andersk@1906: $(SRC)/untangle.sig
andersk@1906: $(SRC)/untangle.sml
adamc@133: 
andersk@1906: $(SRC)/mono_shake.sig
andersk@1906: $(SRC)/mono_shake.sml
adamc@134: 
andersk@1906: $(SRC)/fuse.sig
andersk@1906: $(SRC)/fuse.sml
adamc@1235: 
andersk@1906: $(SRC)/iflow.sig
andersk@1906: $(SRC)/iflow.sml
adamc@1200: 
andersk@1906: $(SRC)/name_js.sig
andersk@1906: $(SRC)/name_js.sml
adam@1800: 
andersk@1906: $(SRC)/jscomp.sig
andersk@1906: $(SRC)/jscomp.sml
adamc@567: 
andersk@1906: $(SRC)/pathcheck.sig
andersk@1906: $(SRC)/pathcheck.sml
adamc@377: 
andersk@1906: $(SRC)/sidecheck.sig
andersk@1906: $(SRC)/sidecheck.sml
adam@1595: 
andersk@1906: $(SRC)/sigcheck.sig
andersk@1906: $(SRC)/sigcheck.sml
adam@1856: 
ziv@2213: $(SRC)/mono_inline.sml
ziv@2213: 
andersk@1906: $(SRC)/cjr.sml
adamc@29: 
andersk@1906: $(SRC)/postgres.sig
andersk@1906: $(SRC)/postgres.sml
adamc@881: 
andersk@1906: $(SRC)/cjr_env.sig
andersk@1906: $(SRC)/cjr_env.sml
adamc@29: 
andersk@1906: $(SRC)/cjr_print.sig
andersk@1906: $(SRC)/cjr_print.sml
adamc@29: 
andersk@1906: $(SRC)/cjrize.sig
andersk@1906: $(SRC)/cjrize.sml
adamc@29: 
andersk@1906: $(SRC)/scriptcheck.sig
andersk@1906: $(SRC)/scriptcheck.sml
adamc@643: 
adam@2056: $(SRC)/dbmodecheck.sig
adam@2056: $(SRC)/dbmodecheck.sml
adam@2056: 
andersk@1906: $(SRC)/prepare.sig
andersk@1906: $(SRC)/prepare.sml
adamc@282: 
andersk@1906: $(SRC)/checknest.sig
andersk@1906: $(SRC)/checknest.sml
adamc@879: 
andersk@1906: $(SRC)/compiler.sig
andersk@1906: $(SRC)/compiler.sml
adamc@380: 
andersk@1906: $(SRC)/demo.sig
andersk@1906: $(SRC)/demo.sml
adam@1493: 
andersk@1906: $(SRC)/tutorial.sig
andersk@1906: $(SRC)/tutorial.sml