mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2452
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2451
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2450
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2449
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2448
cosmetics
jloinig [Tue, 21 Jun 2005 14:51:29 +0200] rev 2447
JL: made new binary
mkoschuc [Tue, 21 Jun 2005 12:49:04 +0200] rev 2446
MK working version again, recreated serialization of Formalization.java, since variable names have changed
mkoschuc [Mon, 20 Jun 2005 10:55:17 +0200] rev 2445
MK cosmetics
mkoschuc [Mon, 20 Jun 2005 10:55:17 +0200] rev 2444
MK cosmetics
mkoschuc [Mon, 20 Jun 2005 10:55:17 +0200] rev 2443
MK cosmetics