log

age author description
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.