search

acsl-language / acsl

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

Clean up book class + get some changes from Frama-C #93

Closed AllanBlanchard closed 10 months ago

AllanBlanchard commented 10 months ago

The Dune lststyle has been changed (no effect). The comments color has been slightly changed. Some unused macros have been removed.