Fri, 14 Oct 2005 19:55:47 +0200went on with EqSystem start_Take
wneuper [Fri, 14 Oct 2005 19:55:47 +0200] rev 438
went on with EqSystem

Thu, 13 Oct 2005 19:46:05 +0200redesigning copy-named commented at 'type met ', finished start_Take
wneuper [Thu, 13 Oct 2005 19:46:05 +0200] rev 437
redesigning copy-named commented at 'type met ', finished

Thu, 13 Oct 2005 19:04:27 +0200redesigning copy-named, intermediate start_Take
wneuper [Thu, 13 Oct 2005 19:04:27 +0200] rev 436
redesigning copy-named, intermediate

Thu, 13 Oct 2005 16:12:13 +0200redesigning copy-named, intermediate start_Take
wneuper [Thu, 13 Oct 2005 16:12:13 +0200] rev 435
redesigning copy-named, intermediate

Thu, 13 Oct 2005 16:09:14 +0200redesigning copy-named, intermediate start_Take
wneuper [Thu, 13 Oct 2005 16:09:14 +0200] rev 434
redesigning copy-named, intermediate

Thu, 13 Oct 2005 08:52:45 +0200added type preori for redesigning copy-named start_Take
wneuper [Thu, 13 Oct 2005 08:52:45 +0200] rev 433
added type preori for redesigning copy-named

Thu, 13 Oct 2005 06:46:22 +0200reestablished concept 'copy-named' (which seems notyet thouroughly designe) start_Take
wneuper [Thu, 13 Oct 2005 06:46:22 +0200] rev 432
reestablished concept 'copy-named' (which seems notyet thouroughly designe)

Wed, 12 Oct 2005 19:59:26 +0200debugged match_ags (error from EqSystem) start_Take
wneuper [Wed, 12 Oct 2005 19:59:26 +0200] rev 431
debugged match_ags (error from EqSystem)

Mon, 10 Oct 2005 19:28:21 +0200added test '-- refine [linear,system]--', ok start_Take
wneuper [Mon, 10 Oct 2005 19:28:21 +0200] rev 430
added test '-- refine [linear,system]--', ok

Fri, 07 Oct 2005 19:53:14 +0200polished systest/ME/ptyps.sml start_Take
wneuper [Fri, 07 Oct 2005 19:53:14 +0200] rev 429
polished systest/ME/ptyps.sml