int3/doppio — pull request #97 by jvilk (2012-11-27 19:35:12+00:00)
Title: Add onreprompt support to mockconsole

Fixes #91.

The other commits are from the paper writing deadline. You may want to just apply a patch rather than clutter up your revision history with those commits.