[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [SRM] Stable update for Frama-C

On 03/02/2011 10:04 PM, Philipp Kern wrote:
> am Wed, Mar 02, 2011 at 09:40:16PM +0100 hast du folgendes geschrieben:
>> I’d like to propose the following change for Frama-C.
> accepting this change would mean that a recompilation of why is needed,
> correct?

correct. (and there is a pending request for Why too).


Mehdi Dogguy مهدي الدڤي

Reply to: