search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Cok argon edits #56

Closed davidcok closed 5 years ago

davidcok commented 5 years ago

Edits clarifying some points without semantic changes. A few edits to accommodate sharing text with the C++ version.

pbaudin commented 5 years ago

That seems ok for my point of view. Notice that I did not try to produce the different pdf files.