calebegg/proof-pad — pull request #11 by PeterReid (2012-04-22 17:25:58+00:00)
Title: Windows ACL2 interrupt/shutdown, defrandom, minor fixes

I haven't sent a pull request in a while, so this is kind of an assortment of things.

- The ACL2 process on Windows can be interrupted
- There are implementations for all the doublecheck random primitives (excluding the higher-order ones random-list-of and random-sexp-of). This uses the passing-in-random-seed method of getting randomness.
- An invalid book path won't cause a crash
- Functions named def* will indent like defuns (this was giving me problems with defrandoms)
- The book viewer scrolls when the books don't fit in the window