Alpar Juttner <alpar@cs.elte.hu> [Sat, 31 May 2014 07:00:14 +0200] rev 1311
Add missing include header and std:: namespace spec. (#487)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 May 2014 17:20:25 +0200] rev 1310
CLANG compatible linker setting (#480)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 17:13:55 +0200] rev 1309
Merge bugfix #480
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 16:54:29 +0200] rev 1308
Clang compatibility fix in lgf-gen.cc (#480)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:57:42 +0200] rev 1307
Merge bugfixes #465, #484 to branch 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:43:12 +0200] rev 1306
Bugfix in default LP/MIP setting (#465)
The bug was introduced in [fc3854d936f7]