--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on November 2008 ---
Hello, Le mar 04 nov 2008 08:02:53 CET, "Christoph Weber" <Christoph.Weber@first.fraunhofer.de> a ?crit : > I noticed the difference between the predecessor and the current one but nevertheless, I'm not sure whether something has changed or not. I would be pleased if, the future releases would tell me explicitly what is new and what has changed, so that I can concentrate my efforts on this sections, otherwise I would get lost. The manual has an appendix "Changes" which aims at doing exactly that (although I have to admit that the part on 'axiomatic' is missing from the changes for version 1.4) Sincerely yours, -- E tutto per oggi, a la prossima volta. Virgile