Good news everyone! Declare runs with no problems on Windows 8. At least on the Consumer Preview. This holds true for both the 32 bit version and the 64 bit version. See the original post and more pictures at http://westergaard.eu/2012/03/cpn-toolsdeclareprom-on-windows-8-cp/.
In some older papers, the Declare tool has been referred to as DECLARE and the language as ConDec. Starting from version 2.4 (due before the end of the year), the name changes to “Declare” (without quotes, of course), i.e., using normal lowercase. The reason is that Declare is not an abbreviation and all-uppercase words are [...]