Mon, 15 Jul 2013 08:33:08 +0200Merge #446, #457, #465
Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Jul 2013 08:33:08 +0200] rev 1233
Merge #446, #457, #465

Sat, 25 May 2013 06:59:31 +0200Enable/disable options for LP/MIP backends (#465)
Alpar Juttner <alpar@cs.elte.hu> [Sat, 25 May 2013 06:59:31 +0200] rev 1232
Enable/disable options for LP/MIP backends (#465)

Fri, 20 Jul 2012 17:09:01 +0200Add file export funcionality to LpBase (#457)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 20 Jul 2012 17:09:01 +0200] rev 1231
Add file export funcionality to LpBase (#457)