So, the link you provided leads to builds of the standalone gcc 4.7.2 for windows, a.k.a mingw64. In order to build this compiler, a set of scripts are used, which help define the options of compilations. The scripts are simply called MinGW-builds, and can be found in different places:
The scripts have an option which specify which thread model is to be used for the std::threads part of the C++11 standard (this is allowed for MinGW thanks to an experimental patch applied on that version of GCC).
In one case, the win32 thread API is used, and in the other case it's the posix API which is used.
Note that Windows doesn't support all the POSIX API out of the box, so some external emulation library needs to be used (winpthreads).
The GCC source configure script has an option to specify that API (--enable-threads=), and that's what is used in the build scripts.
In short, for this version of mingw, the threads-posix release will use the posix API and allow the use of std::thread, and the threads-win32 will use the win32 API, and disable the std::thread part of the standard.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…