100644 blob d87507d82341ca1ce4b8e78dc03c956eeb63977c	lambda.html
100644 blob f24d832dad443956c55081a8972d2895c8ccce14	lambdamanual_src.html
100755 blob 365bd6d368deb520f9726ebd87ba9f6a920f9394	trans_xml_for_cat.pl
100644 blob 5d8c3a8ccaee7b8f47736c44a3ebb4be0712cf96	user_manual_style.css