/Admin/website/img/
drwxr-xr-x [up]
-rw-r--r-- 2006-02-15 21:34 +0100 1406 favicon.ico
-rw-r--r-- 2006-02-15 21:34 +0100 9668 isabelle.gif
-rw-r--r-- 2006-02-15 21:34 +0100 6562 isabelle_logo.gif
-rw-r--r-- 2006-02-15 21:34 +0100 299055 screenshot_isabelle_macos.gif
-rw-r--r-- 2006-02-15 21:34 +0100 36270 screenshot_isabelle_pg.png
-rw-r--r-- 2006-02-15 21:34 +0100 80745 tutorial_cover_big.gif
-rw-r--r-- 2006-02-15 21:34 +0100 12569 tutorial_cover_small.gif
-rw-r--r-- 2006-02-15 21:34 +0100 4930 univ_cambridge.gif
-rw-r--r-- 2006-02-15 21:34 +0100 1971 univ_tum.gif