mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2455
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2454
cosmetics
mlang [Tue, 21 Jun 2005 16:11:16 +0200] rev 2453
cosmetics
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