2011-04-25 | Adam Megacz | add -fno-warn-unused-{binds,patterns} to Coq extraction |
commit | commitdiff | tree |
2011-04-10 | Adam Megacz | separate CoqPass.hs from All.v in Makefile |
commit | commitdiff | tree |
2011-04-10 | Adam Megacz | fix bug in GeneralizedArrowFromReification |
commit | commitdiff | tree |
2011-03-12 | Adam Megacz | update push-url in Makefile |
commit | commitdiff | tree |