Build #2865 (Apr 25, 2024, 10:47:00 PM)

1. 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)
2. move all lstnewenvironment macros to central location in uw-ethesis.tex (details)
3. more proofreading on introduction chapter (discussion of ADT) (details)

Started by timer

• refs/remotes/origin/master