Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging. (details)
move all lstnewenvironment macros to central location in uw-ethesis.tex (details)
more proofreading on introduction chapter (discussion of ADT) (details)

Started by upstream project Cforall Full Build build number 2865
originally caused by:

Revision: 55c97e469aefbe22d3510d734bda7a1d4796d089
Repository: cforall@plg.uwaterloo.ca:software/cfa/cfa-cc