Minor improvements to user interface:
tree06621db9b157e482dd6889b6c40b41f199aca15a
-rw-r--r-- 682 INSTALL
-rw-r--r-- 6202 closure.asd
drwxr-xr-x - resources
drwxr-xr-x - src