log

age author description
Mon, 08 Mar 2004 13:39:35 +0000 Karoly Lorentey Merged in changes from CVS HEAD
Sun, 07 Mar 2004 15:30:22 +0000 Karoly Lorentey Merged in changes from CVS HEAD
Sat, 06 Mar 2004 12:15:27 +0000 Karoly Lorentey Added *.rej to tla's unrecognized pattern.
Sat, 06 Mar 2004 12:13:42 +0000 Karoly Lorentey README updates.
Tue, 02 Mar 2004 10:55:14 +0000 Karoly Lorentey README updates.
Mon, 01 Mar 2004 14:27:16 +0000 Karoly Lorentey Merged in changes from CVS HEAD