List archive

• [Coq-Club] Industrial applications of Coq, Eduardo Gimenez
• [Coq-Club] CMCS'04: deadline prolongation, Jiri Adamek
• [Coq-Club] CFP: LFM'04 - Logical Frameworks and Meta-languages, Carsten Schuermann
• [Coq-Club] beta release of Coq version 8, Christine Paulin
• [Coq-Club] RTA'04: second call for papers, Femke van Raamsdonk
• [Coq-Club] New PhD Positions Department of Computing Science, Chalmers University, Reiner Haehnle
• [Coq-Club] Second Call for papers : ESSLLI'04 Student Session, Paul Egré
• [Coq-Club] Error w_Unify., Aurore Collomb
  • Re: [Coq-Club] Error w_Unify., Benjamin Werner
  • Re: [Coq-Club] Error w_Unify., Pierre Casteran
    • Re: [Coq-Club] Error w_Unify., Pierre Courtieu
      • Re: [Coq-Club] Error w_Unify., Hugo Herbelin
    • Re: [Coq-Club] Error w_Unify., Carlos.SIMPSON
      • Re: [Coq-Club] Error w_Unify., Pierre Courtieu
      • Re: [Coq-Club] Error w_Unify., Benjamin Gregoire
• [Coq-Club] problem with notations, Houda Anoun
  • Re: [Coq-Club] problem with notations, Jacek Chrzaszcz
    • Re: [Coq-Club] problem with notations, Pierre Casteran
      • Re: [Coq-Club] problem with notations, Jacek Chrzaszcz
      • Re: [Coq-Club] problem with notations, Houda Anoun
      • Re: [Coq-Club] problem with notations, Jacek Chrzaszcz
  • <Possible follow-ups>
  • Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
    • Re: [Coq-Club] problem with notations, Pierre Courtieu
    • Re: [Coq-Club] problem with notations, Houda Anoun
  • Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
    • Re: [Coq-Club] problem with notations, Pierre Casteran
    • Re: [Coq-Club] problem with notations, Jacek Chrzaszcz
  • Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
  • Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
• [Coq-Club] Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04), Sergio Antoy

Archive powered by MhonArc 2.6.16.