--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL-Documentation



Le mar 04 nov 2008 10:44:30 CET,
"Christoph Weber" <Christoph.Weber@first.fraunhofer.de> a ?crit :

> 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.
> 

Fair enough. Here is a diff'ed version of the manual (added text in
blue, removed text in small red letters. Of course, it is provided for
documentation purposes only and does not constitute in any way a new
release of ACSL manual or even an exhaustive summary of the changes
between ACSL 1.3 and 1.4 (1)).

Regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile
(1) OK, A lawyer'd have found a more appropriate wording, but I guess
you see what I mean: any ACSL discussion must still be based on the
official 1.4 manual.
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: diff.pdf
Type: application/pdf
Taille: 606611 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081105/85e0fcdd/diff-0001.pdf