List archive

• 12/03/11
  • installation problem, Nuno Gaspar
  • Re: installation problem, Enrico Tassi
  • RE: installation problem, Georges Gonthier
  • Re: installation problem, bertot
  • Re: installation problem, Enrico Tassi
• 12/03/12
  • Re: installation problem, Christian Doczkal
• 12/03/20
  • Building ssreflect 1.3pl2 with coq 8.3pl3 and camlp5 6.05, Christian Neukirchen
• 12/03/26
  • Property about diff of vector spaces, Jónathan Heras
  • RE: Property about diff of vector spaces, Georges Gonthier
• 12/03/27
  • Re: Property about diff of vector spaces, Jónathan Heras
  • RE: Property about diff of vector spaces, Georges Gonthier
  • Re: Property about diff of vector spaces, Jónathan Heras
  • about the notation for negative int values, Frédéric Chyzak
  • CoInductive and Fixpoint, Frédéric Chyzak
• 12/03/28
  • constants in rat, Frédéric Chyzak
  • Re: about the notation for negative int values, Cyril Cohen
  • Re: CoInductive and Fixpoint, Cyril Cohen
  • a few questions about ssrfun.v, Frédéric Chyzak
  • Re: constants in rat, Cyril Cohen
  • consistency of notations (+ type of Qualifier ...), Frédéric Chyzak
  • Re: a few questions about ssrfun.v, Cyril Cohen
  • bad interaction with Proof General 3.7 under Emacs 23 ?, Frédéric Chyzak
  • RE: consistency of notations (+ type of Qualifier ...), Georges Gonthier
  • Re: consistency of notations (+ type of Qualifier ...), Frédéric Chyzak
  • RE: bad interaction with Proof General 3.7 under Emacs 23 ?, Georges Gonthier
  • RE: consistency of notations (+ type of Qualifier ...), Georges Gonthier
  • evaluation, Thomas Sibut-Pinote
  • Re: evaluation, sidi
  • ring structure and matrices, Guillaume Cano
• 12/03/29
  • RE: ring structure and matrices, Georges Gonthier

Archive powered by MHonArc 2.6.18.