/symbolics/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-13 17:39 +0530 1054 questions.rst
-rw-r--r-- 2010-10-13 17:39 +0530 217 quickref.tex
-rw-r--r-- 2010-10-13 17:39 +0530 9606 script.rst
-rw-r--r-- 2010-10-13 17:39 +0530 2580 slides.tex