For your information...

-rw------- 1 nevai   4299 2005-03-19 07:46 direct_proof.tex
-rw------- 1 nevai      0 2005-03-19 17:25 direct_proof.tex=pmac
-rw-r--r-- 1 nevai 397376 2007-09-15 09:31 gentle-introduction.pdf
-rw-r--r-- 1 nevai 198579 1993-07-13 12:38 gentle-introduction.tex
-rw-r--r-- 1 nevai  30584 2000-06-16 11:30 lucasian.html
-rw-r--r-- 1 nevai    206 2005-09-20 17:31 puzzles.txt