JeffBezanson ca1b12064f removing some redundant/irrelevant files		2008-08-30 05:05:31 +00:00
femtolisp	removing some redundant/irrelevant files	2008-08-30 05:05:31 +00:00
llt	removing a proprietary file that should not be here; I was using it as	2008-08-30 04:53:59 +00:00