# HG changeset patch
# User haftmann
# Date 1117910883 -7200
# Node ID 2a6f326ce0aba480be4a89434f3ecc25df217b65
# Parent  f4c43d241eb763ca1a3936f40dadcf6f9b036dd4
re-added binary files

diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/favicon.ico
Binary file Admin/website/dist/img/favicon.ico has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/isabelle_logo.gif
Binary file Admin/website/dist/img/isabelle_logo.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/screenshot_isabelle_macos.gif
Binary file Admin/website/dist/img/screenshot_isabelle_macos.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/tutorial_cover_big.gif
Binary file Admin/website/dist/img/tutorial_cover_big.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/tutorial_cover_small.gif
Binary file Admin/website/dist/img/tutorial_cover_small.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/univ_cambridge.gif
Binary file Admin/website/dist/img/univ_cambridge.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/dist/img/univ_tum.gif
Binary file Admin/website/dist/img/univ_tum.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/img/c_isabelle_lemmas.gif
Binary file Admin/website/img/c_isabelle_lemmas.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/img/isabelle.gif
Binary file Admin/website/img/isabelle.gif has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/img/isabelle_pg_screenshot_big.png
Binary file Admin/website/img/isabelle_pg_screenshot_big.png has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/img/isabelle_pg_screenshot_small.png
Binary file Admin/website/img/isabelle_pg_screenshot_small.png has changed
diff -r f4c43d241eb7 -r 2a6f326ce0ab Admin/website/media/pg_preview.pdf
Binary file Admin/website/media/pg_preview.pdf has changed