Two things to report.
1. Students in my Symbolic Logic course didn’t think I needed to worry about allowing them to use “shortcuts” in proofs. They seemed to think that they needed to work through all the sub-routines that the proof system required.
2. The “rolling final exam” seems to be working well in Early Analytic Philosophy. I gave part 1 of 3 parts last Friday and just posted part 2 this morning. I am doing it primarily because of the short period of time I have for grading the exams of graduating seniors. If it works in this class, however, I might use it in other classes.