---
layout: fc_discuss_archives
title: Message 21 from Frama-C-discuss on January 2011
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Lab installation problem
- Subject: [Frama-c-discuss] Lab installation problem
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Thu, 13 Jan 2011 18:04:43 +0100
- In-reply-to: <4D2F0747.4050406@inria.fr>
- References: <1294922885.2666.9.camel@iti27> <4D2F0747.4050406@inria.fr>
On Thu, 2011-01-13 at 15:08 +0100, Claude Marche wrote:
> May be you're using a too old version of Why ?
In the lab, why version 2.24 is installed.
--
Regards,
Boris