2011-03-07 | Adam Megacz | added HaskCoreToWeak | commit | commitdiff | tree | snapshot |
2011-03-07 | Adam Megacz | cleaned up lots of FIXMEs in ProofToLatex | commit | commitdiff | tree | snapshot |
2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code | commit | commitdiff | tree | snapshot |