Age | Commit message (Expand) | Author |
---|---|---|
2009-12-11 | Add expression for Isabelle2009 | Marco Maggesi |
2009-11-05 | Preliminary version of package ssreflect | Marco Maggesi |
2009-11-02 | Updated Coq to version 8.2pl1 | Marco Maggesi |
2008-06-04 | Added a preliminary expression for Coq (no IDE support yet). | Andres Löh |