--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on November 2008 ---
Hello, I have read the appendix, but it is my observation, that I don't want to spent too much time with searching, and would prefer to concentrate on the new stuff while reading. Usually I need to refresh on the previous sections, to set the new things in the proper context. Therefore I start at the beginning. As I said, it is just an observation. Sincerely Christoph ----- Original Message ----- From: "Virgile Prevosto" <virgile.prevosto@cea.fr> To: <frama-c-discuss@lists.gforge.inria.fr> Sent: Tuesday, November 04, 2008 8:59 AM Subject: Re: [Frama-c-discuss] ACSL-Documentation 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 _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss