log tests/test-convert-tla @ 9857:24bc6e414610

age author description
Tue, 19 May 2009 23:02:17 +0200 Martin Geisler tests: replace #...# syntax with {...}
Sat, 05 Jul 2008 14:35:34 +0200 Patrick Mezard Fix tests failures introduced by 7239e06e58e9
Wed, 13 Feb 2008 00:40:18 +0100 Patrick Mezard Define tla username locally in baz and tla tests