/getting-started-with-symbolics/
drwxr-xr-x [up]
-rw-r--r-- 2010-11-17 17:30 +0530 1189 questions.rst
-rw-r--r-- 2010-11-17 17:30 +0530 217 quickref.tex
-rw-r--r-- 2010-11-17 17:30 +0530 8009 script.rst
-rw-r--r-- 2010-11-17 17:30 +0530 3783 slides.org
-rw-r--r-- 2010-11-17 17:30 +0530 4864 slides.tex