I made a fresh new version of CPN Tools, version 4.0.1. The change over 4.0.0 is a freshly compiled simulator compiled with the newest SML/NJ (version 110.78) and the newest version of Cygwin.

This should hopefully remove problems with newer versions of Windows (except they are still, even with the OS X aspiring Windows 10 moniker, …