drwxr-xr-x | .. | ||
-rw-r--r-- | 313 | Makefile | blob | blame | history | raw |
-rw-r--r-- | 224 | appendix.tex | blob | blame | history | raw |
-rw-r--r-- | 141 | body.tex | blob | blame | history | raw |
-rw-r--r-- | 565 | cover.tex | blob | blame | history | raw |
-rw-r--r-- | 199 | defs.tex | blob | blame | history | raw |
-rw-r--r-- | 58 | impl_spec.tex | blob | blame | history | raw |
-rw-r--r-- | 3743 | intro.tex | blob | blame | history | raw |
-rw-r--r-- | 103003 | ldc2-abgabe-2006-12-11.pdf | blob | blame | history | raw |
-rw-r--r-- | 1881 | literature.bib | blob | blame | history | raw |
-rw-r--r-- | 412 | main.tex | blob | blame | history | raw |
-rw-r--r-- | 14817 | req_spec.tex | blob | blame | history | raw |
-rw-r--r-- | 47 | test_spec.tex | blob | blame | history | raw |