lib/logo/isabelle-32.gif
author wenzelm
Mon, 27 Feb 2023 11:19:16 +0100 (23 months ago)
changeset 77392 467a8f987b5a
parent 54659 b636dab842f3
permissions -rw-r--r--
tuned messages;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
54659
b636dab842f3 more isabelle logos (from isabelle.ico);
wenzelm
parents: 54658
diff changeset
     1
(binary:image/gif)