[go: up one dir, main page]

Menu

Commit [r8489]  Maximize  Restore  History

source code examples cleanup (in paper): made all heavyweight specs

indented in the same way, indented all code consistently (two spaces),
changed && to & in code for consistency, made spacing consistent for
infix operators.

kiniry 2006-05-19

changed /trunk/JML2/docs/fmco05/fmco.tex