coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] set_timeout in 8.8.0

From: Burak Ekici <ekcburak AT hotmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] set_timeout in 8.8.0
Date: Wed, 2 May 2018 18:31:44 +0000
Accept-language: tr-TR, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ekcburak AT hotmail.com; spf=Pass smtp.mailfrom=ekcburak AT hotmail.com; spf=Pass smtp.helo=postmaster AT EUR01-HE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:ISKsyRPPNdKZoLP2NKQl6mtUPXoX/o7sNwtQ0KIMzox0Iv7zrarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXshfSTFPAp+yYYUME+UPMulXopLhp1QVsReyGRWgCP/txzJOm3T43bc60+MkEQzewQEgAsgOv27XrN7oO6kSUuG1w7XJzT7eaP5ZxzT955TTfRA8u/GDR7FwfNHRyUkoCwPFi0+fqY3hPz+PyusNtG2b4vNmWOmyiGAnsxl8rzezyss2joTFmJgZx1HE+CljwYs5O8W0SEBlbtOnDJddsiSXOohsTc4sRmxnpjs1xaEctpO+eCUHyoooyh/aZvObfYiF4A/vWeCMKjlinn1lYqiwhxOq/Eig1OL8Us603U5FoCVLjtfAqm0B2wXR5MaIV/dx50Ch1i2R2AzJ7eFEPFw0mrHcK548xL4/i4AfsVzZHi/xhEX5krOZdlkl+uiv7eTreLLmpoKAN49wjQH+NacultajDuQ/NwgCR2mb+eKi273/5UD0T6lGgucyn6XHqpzXJMQWqrS4DgNLyooj7gywDzai0NQWh3kHK1dFdQqZgIjqJ17BO+34De2ljFSvizprx/fGPqHkAprXL3jDlK3tcqp6605Z0AYz18xQ54pICrEdJ/L+QlP+tNvBDhMgLwO0x/vnB85m24MFWWOPB7eZP7nIvV+J4OIvOeiMa5UPtDbzMfh2r8Lp2FQ+gBc2ebSjlc8cb2n9FfB7KW2YZ2Dti5EPCzFZkBA5SbnAlUeLUnZ+ZHe5Xupo6zIwAp+8BITrRoexhbWA2GGwGZgANTMOMUyFDXq9L9bMYPwLci/HZ5Y5ymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7sDj08Rw7uzX0xo18G4tVpjP4yS2V2hx21gwaXouxqkm+h59zUuG2Kl8xfdfEI4Lvq4bYkIBLZfZitdCJZXyVwbGIojbZWucGozjIRxoC9U7zpkJflp3HMikglbbxS22DrQJlruNQpsp7qbb2Hu3LMF4mS/L

Hello,

The latest release of Coq (8.8.0) seems to drop the "set_timeout"
function from "control.ml". How can I simply mimic it? We want to use a
particular timeout function...

Many thanks!

Best,

―

Burak.

[Coq-Club] set_timeout in 8.8.0, Burak Ekici, 05/02/2018
- Re: [Coq-Club] set_timeout in 8.8.0, Emilio Jesús Gallego Arias, 05/02/2018
  - Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/03/2018
    - Re: [Coq-Club] set_timeout in 8.8.0, Gabriel Scherer, 05/07/2018
      - Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Gabriel Scherer, 05/09/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Xavier Leroy, 05/10/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Tej Chajed, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
      - Re: [Coq-Club] set_timeout in 8.8.0, Jacques-Henri Jourdan, 05/07/2018