braibant/Timing-plugin — pull request #2 by JasonGross (2014-06-09 15:03:46+00:00)
Title: Add a poor man's version of timeout for Windows

It runs a tactic, and then later fails if the tactic took too long.

There seems to be a lot of churn because my emacs removes trailing spaces. I can go back and fix that, if you want.

I'm also not at all sure that this is a particularly good way to do things, but it seems to work.