Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Software foundation for older versions of coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Software foundation for older versions of coq


Chronological Thread 
  • From: Michael Soegtrop <MSoegtrop AT yahoo.de>
  • To: coq-club AT inria.fr, manoury <pascal.manoury AT lip6.fr>
  • Subject: Re: [Coq-Club] Software foundation for older versions of coq
  • Date: Tue, 22 Dec 2020 13:11:02 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=MSoegtrop AT yahoo.de; spf=Pass smtp.mailfrom=msoegtrop AT yahoo.de; spf=None smtp.helo=postmaster AT sonic316-20.consmr.mail.ne1.yahoo.com
  • Ironport-phdr: 9a23:uEfc7xbbOJb34JBF9p210Yn/LSx+4OfEezUN459isYplN5qZr8q9bnLW6fgltlLVR4KTs6sC17OJ9fq4BSdYuN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLhi6txvdutUZjIdtNqo91wbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDM/7WrZiNF/jLhDrRy8uRJ/zY7aboKbOvVwcazSf88VS2VGUMtKSyxMAJmxY5cVAucPP+tVqZT2qVsUrRu5AAmhHOThyj5UiX/2x6I1zeAhGhzb0gwnAd0Ov2jUrM/yNKcKTOu4y67GwyjEb/xI1jf99JLIchc5ofyXXbN/a8rRyU4oFw/fk1qft5XoMjWI3esCr2aV9fBvVf6zi2E5sQFxpCCiy9swh4TViY8Y11/K+ThlzYs6KtC2R1J3bMO4HJZetSyXKYR4Tt4+T2xptyg3zrMLtJClcSUXy5kqyBDRZv6HfoWO/xntV/6RLC95iX9kYr6zmhe//Ea6xuHhVcS50kxGojdKn9TNsH0Gygbd5dKdSvRn+0eswTaP2B7X6uFDOU00jq3bK5ggwrEsmJcfrEXOEjbolEnqlqOZakIk+u6z6+TieLXqvJqcOJV1igH6KKgunNKwDfkiPgkORWeb+eO81Lr58ULlR7VKi+U6kqjfsJ/EOcQWvq+0Dg5P3oo+6huyAS2q3MkbkHQFNl5JZR2KgonxN1HLOv/4DPO/g1q2kDdswvDLJrjhAo7KLnfdn7fhYax960lEyAcozdFQ/ZJUCrYGIP7pR0D+qsTUDgUlPAys3+bnFNJ925sCVmKIG6+VKb/dsVuV5u00OOSMf48UuDPlK/c//fLujHk5mUUcfaazx5cXZmq4TbxaJBCSZmOpidMcG08LuBA/RarkkhnKVDdVYGuoTupo/jggA4uiS4LKQIewmq2p2CajQNtYfDYVJEqLFCLNdo6EUvoIIBmVL8B9iDscHeyEcIgs2g20sxfS2rNnKe2S9iBO5sGr78R8++CGzUJ6zjdzFcnIizjRHVExpXsBQnoN5I46uVZ0kw/RwKF4hPseGdEBv6oYADd/DobVyqlBM/63XwvAetmTT1P/Goe3CDE2SZQ9zo1XOhsvK5CZlhnGmhGSLfoVmriMX81m6aXa3nOqfpg4kS6A364nlFw8BM5GNGnggKMmsRnaB4nO1U6ekvTyeA==

Hi Pascal,

I am responsible for the request of Pierre. He needs an old version for a course he will give at my university.

This doesn't answer the question why he needs an old version. As I said, I am interested in the question why people are using old versions of Coq, because this might mean we need to improve something.

Best regards,

Michael



Archive powered by MHonArc 2.6.19+.

Top of Page