/doc/ Root_start-work-070517 save-head-080117 working-version-070517
drwxr-xr-x [up]
drwxr-xr-x GK
drwxr-xr-x ML
drwxr-xr-x NC
drwxr-xr-x RK
drwxr-xr-x SR
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 2007-05-17 14:05 +0200 138 CLEANUP
-rwxr-xr-x 2007-05-17 14:05 +0200 715 LATEX
-rw-r--r-- 2007-05-17 14:05 +0200 178 README-isac-doc.txt
-rw-r--r-- 2007-05-17 14:05 +0200 134113 add-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1282 add.tex
-rw-r--r-- 2007-05-17 14:05 +0200 4656 appendices-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1122 appendices.tex
-rw-r--r-- 2007-05-17 14:05 +0200 85 auth-common.tex
-rw-r--r-- 2007-05-17 14:05 +0200 161 auth-exp.tex
-rw-r--r-- 2007-05-17 14:05 +0200 578 common.tex
-rw-r--r-- 2007-05-17 14:05 +0200 14177 expl-for-ref.tex
-rw-r--r-- 2007-05-17 14:05 +0200 754 isac-author.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1031 isac-docu.tex
-rwxr-xr-x 2007-05-17 14:05 +0200 7628 java-sml.tex
-rwxr-xr-x 2007-05-17 14:05 +0200 9610 mat-eng.sml
-rwxr-xr-x 2007-05-17 14:05 +0200 83550 mat-eng.tex
-rw-r--r-- 2007-05-17 14:05 +0200 3990 matauthor.txt
-rw-r--r-- 2007-05-17 14:05 +0200 2233 preamble.tex
-rw-r--r-- 2007-05-17 14:05 +0200 103163 sdd-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1773 sdd.tex
-rw-r--r-- 2007-05-17 14:05 +0200 33723 srd-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1097 srd.tex
-rwxr-xr-x 2007-05-17 14:05 +0200 3297 tactics.tex
-rw-r--r-- 2007-05-17 14:05 +0200 14601 terms.tex
-rw-r--r-- 2007-05-17 14:05 +0200 79636 urd-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1234 urd.tex
-rw-r--r-- 2007-05-17 14:05 +0200 83013 use-content.tex
-rw-r--r-- 2007-05-17 14:05 +0200 1268 use.tex