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