Mon, 20 Oct 2008 12:46:39 +0200Print the failed line numbers in the unifier script (ticket #138)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:46:39 +0200] rev 341
Print the failed line numbers in the unifier script (ticket #138)

Mon, 20 Oct 2008 12:17:24 +0200Small improvements in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:17:24 +0200] rev 340
Small improvements in the unifier script