diff options
| author | Hendrik Tews | 2017-01-17 11:00:05 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2017-01-17 11:00:05 +0100 |
| commit | 915c66130bf639c7bd0b94f5a5c4a79f9148d2b1 (patch) | |
| tree | 9f1904fa08db454f2a95dc0b03832442406a9298 /isar/Example.thy | |
| parent | 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 (diff) | |
fix icon installation and add 64 and 128 square icons (fixes #141)
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions