test/Tools/isac/Minisubpbl/100-init-rootpbl.sml
Thu, 12 May 2011 10:00:06 +0200 added test-sequence with mini_subpbl x+1=2