/lyxprofile/1.2/Thu Oct  4 09:57:00 2001//TBRANCH_1_3_X
/lyxwin32.c/1.2/Wed Jun 26 11:51:59 2002//TBRANCH_1_3_X
D/packaging////
