/doc/ java_rename_format
drwxr-xr-x [up]
drwxr-xr-x bib
drwxr-xr-x fig
drwxr-xr-x griesmayer
-rwxr-xr-x 2005-06-15 18:31 +0200 115 CLEANUP
-rwxr-xr-x 2005-06-15 18:31 +0200 685 LATEX
-rw-r--r-- 2005-06-15 18:31 +0200 36033 add-content-old.tex
-rw-r--r-- 2005-06-15 18:31 +0200 53368 add-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1317 add-gismo.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1237 add.tex
-rw-r--r-- 2005-06-15 18:31 +0200 4410 appendices-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1124 appendices.tex
-rw-r--r-- 2005-06-15 18:31 +0200 518 common.tex
-rwxr-xr-x 2005-06-15 18:31 +0200 7628 java-sml.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1257 main.tex
-rwxr-xr-x 2005-06-15 18:31 +0200 9610 mat-eng.sml
-rwxr-xr-x 2005-06-15 18:31 +0200 80883 mat-eng.tex
-rw-r--r-- 2005-06-15 18:31 +0200 66148 sdd-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1055 sdd.tex
-rw-r--r-- 2005-06-15 18:31 +0200 16478 srd-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1097 srd.tex
-rw-r--r-- 2005-06-15 18:31 +0200 11728 sub-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1109 sub.tex
-rw-r--r-- 2005-06-15 18:31 +0200 5026 subproj.tex
-rwxr-xr-x 2005-06-15 18:31 +0200 3297 tactics.tex
-rw-r--r-- 2005-06-15 18:31 +0200 11817 terms.tex
-rw-r--r-- 2005-06-15 18:31 +0200 36019 urd-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1183 urd.tex
-rw-r--r-- 2005-06-15 18:31 +0200 58039 use-content.tex
-rw-r--r-- 2005-06-15 18:31 +0200 1204 use.tex