# # ChangeLog for doc/working/assertion_resolution.md # # Generated by Trac 1.2.1 # Mar 28, 2024, 6:09:25 PM Fri, 02 Feb 2018 20:28:14 GMT Aaron Moss [804b57e3] * doc/papers/general/Paper.tex (modified) * doc/working/assertion_resolution.md (added) Fix conversion of feature paper to article format; stub in added ...