Go go!
refine wait_for_compile.sh
refine wait_for_compile.sh
update tools
bla
add an option for nc to make sure socket will terminate after the filename is transfered to the server
Merge branch 'pi314_blabla' into pi314
the nc option is wrong on mac OS X (828a7ad)
basic FA done, need to be more generalized
Merge branch 'master' into pi314
Fix Examples.agda to fit new added Automaton.agda
Merge branch 'master' into banacorn
discards terms with unsolved metas