[isabelle] Fwd: Isabelle2012 - What distribution?
- To: isabelle-users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Fwd: Isabelle2012 - What distribution?
- From: Lawrence Paulson <lp15 at cam.ac.uk>
- Date: Thu, 20 Dec 2012 11:40:03 +0000
- References: <firstname.lastname@example.org>
I'm passing this query to the full list. Please answer him directly.
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