From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Concurrency, again Date: Thu, 13 Oct 2016 15:34:43 -0400 Message-ID: <248ec0aa-797d-0e88-5606-fa154c0dc2c4@gmail.com> References: <87wq97i78i.fsf@earlgrey.lan> <86k2dk77w6.fsf@molnjunk.nocrew.org> <9D64B8EA-DB52-413D-AE6A-264416C391F3@iotcl.com> <83int1g0s5.fsf@gnu.org> <83twckekqq.fsf@gnu.org> <83mvi9a3mh.fsf@gnu.org> <20161012165911.58437154@jabberwock.cb.piermont.com> <20161012173314.799d1dc5@jabberwock.cb.piermont.com> <8360owaj2s.fsf@gnu.org> <20161013092701.77461800@jabberwock.cb.piermont.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="RJU0lkk8A1x3s8cbaonuHW1tvaw8do2PN" X-Trace: blaine.gmane.org 1476387326 9365 195.159.176.226 (13 Oct 2016 19:35:26 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 13 Oct 2016 19:35:26 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Oct 13 21:35:20 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bulmX-0000SU-8O for ged-emacs-devel@m.gmane.org; Thu, 13 Oct 2016 21:35:09 +0200 Original-Received: from localhost ([::1]:42672 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bulmV-0006jX-R6 for ged-emacs-devel@m.gmane.org; Thu, 13 Oct 2016 15:35:07 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33827) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bulmK-0006hR-EA for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:35:00 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bulmG-000133-Ea for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:34:56 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.187]:50307) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bulmG-00012u-46 for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:34:52 -0400 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0MLT3m-1buDoP087m-000cwT for ; Thu, 13 Oct 2016 21:34:51 +0200 In-Reply-To: X-Provags-ID: V03:K0:BqdXxqzR7iqLvv/wY5hIzT/G/lP2BAE+wyBxpCnMNT+moInAIBj HySVUM5cQAPRdHASOJHgztVCL9ZLpq6q74HGJOgmsAwL20JXmJYotSjtUBNAOiWlfiORTt2 l27N/6MEUE1qmb2S4rX05Z4eNNjIjk2fREklGr4AWBF9VOZVw80TbvIjy8M1DWjDsVEQS+x S754phWYJy+tcyW3YFHgQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:yh7k7Xd/5bw=:xkmwoOflk76cJ61uWbEurh vxtkdhvXX/maKZWRz85oqMw7mRLRupgw7Mi7w1I4FgOKT+qtsAwnqxLKuehhALgYp5IJDDB+e RL6HFRwQ6HbXQ2SkcFJHhqD9w93rbHndnu5v8hMTGyGo/4h8ZC4Ph/75J3KCV92KqWfsFVOpo OQyZIeu6OlwOGXugoqSqEB0mrD73H3iBg1i8wuwggD8Pm0QXaYZUJLPGxdHaJCNaZdyMI0sC+ 4gCjKtGxhtAhtYUOjld4p8whFEQoNUeOJ+E/eT83aRspDuuboMLLNmysqv4WXTFHA7WfecJRG ywvwbRSfCIgxSxUJ/0asBe5wG28ffIMgn9I2ii25khTDaBPvvLUeRZ9fF94Ruy0A/xG9LtJRi 82dD0gqaTmDf/Qb013sa9+X8YOgNfHdCir7jgxDhuNEUMi+kTHK7fINzVBSiOF9Sy+I+Zhvs4 Gl98rzOAZexmvMNaj23C2KI6d/sOXNbpUCHa3AcLatP+t35V9ffJzTp3FjKUi1c8HZoUcHU43 sLSafi6Zupf5wKP7+6EUP3+rUXJIph0ADIrzwaZ571rxfGm4diur3/WtzLPQTy4kY87zwDfLy DVY/T4hm3zIYMXsslr1ZfqnYPcyzktObAX02rq5WhdSksDDvBWYXfubyT+hnLyaFLdnWeaS9h XQtohr1N5nKsWBo88UGNNODIYC+Q9f9JwTlFM0suTldhFs1QMtHJUnIqeD5FJlGsclaU= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.187 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:208216 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --RJU0lkk8A1x3s8cbaonuHW1tvaw8do2PN Content-Type: multipart/mixed; boundary="w1cxdpDhd3uMBDMnqP0o2ENfpVEbl8tCU"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <248ec0aa-797d-0e88-5606-fa154c0dc2c4@gmail.com> Subject: Re: Concurrency, again References: <87wq97i78i.fsf@earlgrey.lan> <86k2dk77w6.fsf@molnjunk.nocrew.org> <9D64B8EA-DB52-413D-AE6A-264416C391F3@iotcl.com> <83int1g0s5.fsf@gnu.org> <83twckekqq.fsf@gnu.org> <83mvi9a3mh.fsf@gnu.org> <20161012165911.58437154@jabberwock.cb.piermont.com> <20161012173314.799d1dc5@jabberwock.cb.piermont.com> <8360owaj2s.fsf@gnu.org> <20161013092701.77461800@jabberwock.cb.piermont.com> In-Reply-To: --w1cxdpDhd3uMBDMnqP0o2ENfpVEbl8tCU Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On 2016-10-13 13:25, John Wiegley wrote: > - Asking Proof General to check a file that depends on 30 other files Isn't proof general asynchronous? --w1cxdpDhd3uMBDMnqP0o2ENfpVEbl8tCU-- --RJU0lkk8A1x3s8cbaonuHW1tvaw8do2PN Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJX/+HTAAoJEPqg+cTm90wj6kEP/j/ew5+yeuVd36x96btyvtPM H7hawNVztk54hVM1oRiZyIICJPJmzTkvmGZXbmGg2PCdKosfdVOjmt7wbsUmXDsg zQyXKenkKYDjWnUPcnkayfdmHAz/6PSIVJD42M55h+wIcaIMmtj9GwxBRJgUUhFy ewmsvjb+9QYi9o++qzRJtXpzuXe/WAH5i4UxWW6R7x4Ty8OOLBnO3w/V1roFEuQw NHScvtHSfk9hbWTbKYMaqkNb8Hk0/wp+KA43afa2xedD6qiRrALHbRPJ0/L5cpoz yCSyvNYV6Ju0aBRVwq7KjRJ8OUYcrr95XVaun8YC7bMFoTM5yKMUOZm+fV7KA/Tx tMYgUJXGcwRX0FdEXLNzdMikhwJrJlT9uwBleYHA0cHaWlWz7dHHIrknTG9T8yHS JOVRv65P5PO48s2TPN0eBdtJWpCvLdhGJJE+KpL9oyXkrbVYowj+teDJ6ptx+N65 0UwxXm0nKmqRfprdQ8S2D/x01xBZpWSZ+bX8LL3XTRPtl9Z/Ca7dTSz016S2KaJq DOdPEEQ89uxc6RebynGyawm3VCz/9AFrR4Aj9n/6zJ3U2L2KYWEn8/t4nfruG3R7 IMVPUQ/cpkklI/K77Ju68fYvxSjWF7a9HGnBz+wyGJBSvpuFh6eQS6xfNw9AfucU xVl3gf/fnx1XDUvJPiDP =sanP -----END PGP SIGNATURE----- --RJU0lkk8A1x3s8cbaonuHW1tvaw8do2PN--