diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:53:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:53:19 +0000 |
| commit | a9c08e799500d19e9dcc9d9eb46a70f8478b8499 (patch) | |
| tree | f38ea851a557bcde1d4352928c7cdf965df85854 /images/isabelle-badge.xcf | |
| parent | 56bef7d39ad63ca18ec706613a0e99b524d5f367 (diff) | |
Updates and new images
Diffstat (limited to 'images/isabelle-badge.xcf')
| -rw-r--r-- | images/isabelle-badge.xcf | bin | 0 -> 157845 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/images/isabelle-badge.xcf b/images/isabelle-badge.xcf Binary files differnew file mode 100644 index 00000000..ad5de7bd --- /dev/null +++ b/images/isabelle-badge.xcf |