Print replaced with log
Tabs removed
Porting to Python 3: url open, url parse and raw_input replaced
download File upgraded to Python3
Before trying in Cygwin
instructions about python3 extended
Before changing the workflow
Modified for building on Windows
Running tests on Windows
Stub for CBMC installer for Windows
Test updated
MPS installer prepared for Windows
Tests off, trying to run the installer
Windows installer to use the MPS exe installer
Chmod added to the setup exe
Debugging the installer exe running
Better progress formatting
Renamings in format
Fixed division:
Running with explorer the installer