[Vm-dev] Static link to latest Coq vms

Sun Dec 27 20:02:06 UTC 2015

On Sun, Dec 27, 2015 at 12:50 PM, David T. Lewis <lewis at mail.msen.com> wrote:
>
> On Sun, Dec 27, 2015 at 06:28:50PM +0000, Eliot Miranda wrote:
>>
>> Hi Fabio,
>>
>>     yes, I'll set this up when next I build VMs, which will be within the next two weeks.  I think I'll use something like
>>
>> http://www.mirandabanda.org/files/Cog/VM/bleedingedge/ and /recommended/
>>
>> Any suggestions for better names?

ftp.squeak.org uses a "alpha" nomenclature which I think is nice.