-rw-r--r-- | 18 | .gitignore | blob | history | raw |
-rw-r--r-- | 125 | Makefile | blob | history | raw |
-rw-r--r-- | 372007 | a.pdf | blob | history | raw |
-rw-r--r-- | 340 | exam.tex | blob | history | raw |
-rw-r--r-- | 0 | first.tex | blob | history | raw |
-rw-r--r-- | 0 | second.tex | blob | history | raw |
-rw-r--r-- | 0 | third.tex | blob | history | raw |
drwxr-xr-x | - | uppaal | tree | history |