[isabelle] Fwd: Isabelle2012 - What distribution?



I'm passing this query to the full list. Please answer him directly.
Larry

Begin forwarded message:

> From: Stephen Day <stephen at ace.nl>
> Subject: Isabelle2012 - What distribution?
> Date: 20 December 2012 10:32:45 GMT
> To: Larry.Paulson at cl.cam.ac.uk
> 
> 
> Lawrence Paulson,
> 
> I'm the system administrator at ACE computer in Amsterdam. I have some
> users who are very enthusiastic about using Isabelle, I don't know if
> any of them have contacted you.
> 
> We use CentOS 5.4/64 here and I hit a wall on the dependency on
> GLIBC_2.7. I was wondering what distribution I should install this on?
> As I'm putting this on a virtual machine I can use anything so thought
> it best to ask.
> 
> 
> Thanks in advance, and for Isabelle,
> 
> Stephen Day
> 
> 
> --
> Stephen Day, ACE Associated Computer Experts bv
> De Ruyterkade 113, 1011 AB Amsterdam, The Netherlands.
> mailto:stephen at ace.nl, http://www.ace.nl
> _______________________________________________________________________
> This e-mail and any files transmitted with it are confidential. Any
> technical information contained herein is supplied as-is, and no
> rights can be derived therefrom. Unless you are the intended recipient,
> you should not read, disclose, copy, or otherwise use the information
> in this message.
> If you have received the message in error, please notify the sender by
> reply e-mail immediately and delete the message and all copies thereof.
> 
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.