/doc/
drwxr-xr-x [up]
drwxr-xr-x CR
drwxr-xr-x GK
drwxr-xr-x GS
drwxr-xr-x ML
drwxr-xr-x MM
drwxr-xr-x NC
drwxr-xr-x OR
drwxr-xr-x RK
drwxr-xr-x SR
drwxr-xr-x WK
drwxr-xr-x bib
drwxr-xr-x fig
drwxr-xr-x gradischnegg
drwxr-xr-x griesmayer
drwxr-xr-x hochreiter
drwxr-xr-x krempler
drwxr-xr-x listings
-rwxr-xr-x 2008-02-11 11:05 +0100 138 CLEANUP
-rwxr-xr-x 2008-02-11 11:05 +0100 715 LATEX
-rw-r--r-- 2008-02-11 11:05 +0100 178 README-isac-doc.txt
-rw-r--r-- 2008-02-11 11:05 +0100 134114 add-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1282 add.tex
-rw-r--r-- 2008-02-11 11:05 +0100 4656 appendices-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1122 appendices.tex
-rw-r--r-- 2008-02-11 11:05 +0100 85 auth-common.tex
-rw-r--r-- 2008-02-11 11:05 +0100 161 auth-exp.tex
-rw-r--r-- 2008-02-11 11:05 +0100 578 common.tex
-rw-r--r-- 2008-02-11 11:05 +0100 14177 expl-for-ref.tex
-rw-r--r-- 2008-02-11 11:05 +0100 754 isac-author.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1031 isac-docu.tex
-rwxr-xr-x 2008-02-11 11:05 +0100 7628 java-sml.tex
-rwxr-xr-x 2008-02-11 11:05 +0100 9610 mat-eng.sml
-rwxr-xr-x 2008-02-11 11:05 +0100 83550 mat-eng.tex
-rw-r--r-- 2008-02-11 11:05 +0100 3990 matauthor.txt
-rw-r--r-- 2008-02-11 11:05 +0100 2233 preamble.tex
-rw-r--r-- 2008-02-11 11:05 +0100 103163 sdd-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1773 sdd.tex
-rw-r--r-- 2008-02-11 11:05 +0100 38636 srd-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1097 srd.tex
-rwxr-xr-x 2008-02-11 11:05 +0100 3297 tactics.tex
-rw-r--r-- 2008-02-11 11:05 +0100 14601 terms.tex
-rw-r--r-- 2008-02-11 11:05 +0100 79636 urd-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1234 urd.tex
-rw-r--r-- 2008-02-11 11:05 +0100 83013 use-content.tex
-rw-r--r-- 2008-02-11 11:05 +0100 1268 use.tex