Name Last modified Size Description
Parent Directory - main.flx 1980-12-08 11:50 28K flecs.exe 1980-12-08 11:50 25K flexsubs.flx 1980-12-08 11:50 19K list.flx 1980-12-08 11:50 18K analyz.flx 1980-12-08 11:49 16K flecs.com 1981-04-23 11:50 2.2K flxgen.com 1980-12-08 11:50 1.4K flecs.tex 1980-09-26 11:50 930 where 1981-05-15 11:54 644