2011-05-15 | gentzen | update baked in CoqPass.hs |
commit | commitdiff | tree |
2011-05-15 | Adam Megacz | Merge branch 'coq-extraction-baked-in' of /afs/megacz... |
commit | commitdiff | tree |
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 |
2011-03-09 | Adam Megacz | more Makefile updates |
commit | commitdiff | tree |