On Thu, 10 Sep 2015, David Matthews wrote:
The Windows-Unicode branch has now been merged into master. The -DUNICODE -D_UNICODE options are automatically included in the Windows build. There isn't currently a programmatic way to change the code-page but I may add a function to do that.
Great. I have now updated the Isabelle setup accordingly. It works smoothly for x86-windows and x86_64-windows.
The formal references are here: https://github.com/polyml/polyml/commit/4eba188ce05c99959bf20cd0fbc347d515eb... http://isabelle.in.tum.de/repos/isabelle/file/9e81e87f755b/Admin/polyml/buil...
The above polyml/build script may be taken as a blueprint for anybody who wants to compile it by himself. See also the other files in that directory, especially INSTALL-MinGW.
Makarius