Distributed compiler in progress
oasis setup
Interactive
range of switches
feature: works
no need for cohttp
removed bad exn handling
removed make_scheduler
can select num_workers dynamically
no need for build_limit whatever
lowercase false
deleting remote stuff
cleaner policy-shipping code
output in a format for Marco's scripts
check for worker
per-worker moved to configuration file
policy parsing moved out
abstracted distributed compiler
Made "dist" a sub-command of katnetic
This was missing?