athos [Mon, 17 Jul 2006 09:31:41 +0000] rev 2147
mip_test file went to mip_demo.
athos [Mon, 17 Jul 2006 09:16:00 +0000] rev 2146
Still not final.
athos [Mon, 17 Jul 2006 09:10:19 +0000] rev 2145
Sorry, mistake
athos [Mon, 17 Jul 2006 09:00:21 +0000] rev 2144
MIP support added (by Jano, the Great).