List archive

• Installation issue for ssreflect-1.4-coq8.4 (ssrmatching.ml4), Alain Lichnewsky, 08/04/2013
  • Re: Installation issue for ssreflect-1.4-coq8.4 (ssrmatching.ml4), Enrico Tassi, 08/04/2013
• [RFC] Ssreflect 1.5 and MathComp 1.5 release candidates, Enrico Tassi, 08/05/2013
  • Re: [RFC] Ssreflect 1.5 and MathComp 1.5 release candidates, Erik Martin-Dorel, 08/05/2013
    • Re: [RFC] Ssreflect 1.5 and MathComp 1.5 release candidates, Enrico Tassi, 08/05/2013
      • Re: [RFC] Ssreflect 1.5 and MathComp 1.5 release candidates, Erik Martin-Dorel, 08/05/2013
  • Message not available
    • Re: [RFC] Ssreflect 1.5 and MathComp 1.5 release candidates, Enrico Tassi, 08/13/2013
• apply:, Beta Ziliani, 08/08/2013
  • Re: apply:, Laurent Théry, 08/08/2013
    • RE: apply:, Georges Gonthier, 08/08/2013
• Issue with some notations exported by ssrnum, Erik Martin-Dorel, 08/23/2013
  • Re: Issue with some notations exported by ssrnum, Cyril Cohen, 08/24/2013

Archive powered by MHonArc 2.6.18.