/doc/
drwxr-xr-x [up]
drwxr-xr-x 0installEtc
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 WN
drwxr-xr-x bib
drwxr-xr-x fig
drwxr-xr-x gdaroczy
drwxr-xr-x gradischnegg
drwxr-xr-x griesmayer
drwxr-xr-x hochreiter
drwxr-xr-x krempler
drwxr-xr-x listings
drwxr-xr-x mkienl_fkober
drwxr-xr-x tzilling
-rwxr-xr-x 2018-09-13 11:14 +0200 140 CLEANUP
-rwxr-xr-x 2018-09-13 11:14 +0200 715 LATEX
-rw-r--r-- 2018-09-13 11:14 +0200 270 README-isac-doc.txt
-rw-r--r-- 2018-09-13 11:14 +0200 135323 add-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1282 add.tex
-rw-r--r-- 2018-09-13 11:14 +0200 4656 appendices-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1122 appendices.tex
-rw-r--r-- 2018-09-13 11:14 +0200 85 auth-common.tex
-rw-r--r-- 2018-09-13 11:14 +0200 161 auth-exp.tex
-rw-r--r-- 2018-09-13 11:14 +0200 661 common.tex
-rw-r--r-- 2018-09-13 11:14 +0200 14177 expl-for-ref.tex
-rw-r--r-- 2018-09-13 11:14 +0200 754 isac-author.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1053 isac-docu.tex
-rwxr-xr-x 2018-09-13 11:14 +0200 7628 java-sml.tex
-rwxr-xr-x 2018-09-13 11:14 +0200 9610 mat-eng.sml
-rwxr-xr-x 2018-09-13 11:14 +0200 83550 mat-eng.tex
-rw-r--r-- 2018-09-13 11:14 +0200 3990 matauthor.txt
-rw-r--r-- 2018-09-13 11:14 +0200 2233 preamble.tex
-rw-r--r-- 2018-09-13 11:14 +0200 106585 sdd-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1773 sdd.tex
-rw-r--r-- 2018-09-13 11:14 +0200 40791 srd-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1097 srd.tex
-rwxr-xr-x 2018-09-13 11:14 +0200 3297 tactics.tex
-rw-r--r-- 2018-09-13 11:14 +0200 248 terms-isac.tex
-rw-r--r-- 2018-09-13 11:14 +0200 14821 terms.tex
-rw-r--r-- 2018-09-13 11:14 +0200 82433 urd-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1304 urd.tex
-rw-r--r-- 2018-09-13 11:14 +0200 82981 use-content.tex
-rw-r--r-- 2018-09-13 11:14 +0200 1313 use.tex