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 |