/tex/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2011-08-03 21:39 +0200 2550 pythonlisting.tex
-rw-r--r-- 2011-08-03 21:39 +0200 2052 theory1_ex10.tex
-rw-r--r-- 2011-08-03 21:39 +0200 1450 theory1_ex11.tex
-rw-r--r-- 2011-08-03 21:39 +0200 3602 theory1_ex4.tex
-rw-r--r-- 2011-08-03 21:39 +0200 2511 theory1_ex5.tex
-rw-r--r-- 2011-08-03 21:39 +0200 5415 theory1_ex6.tex
-rw-r--r-- 2011-08-03 21:39 +0200 4366 theory1_ex7.tex
-rw-r--r-- 2011-08-03 21:39 +0200 4384 theory1_ex8.tex
-rw-r--r-- 2011-08-03 21:39 +0200 1920 theory1_ex9.tex