Show Twelf logo in about box

jcreedcmu / twelf-mac

Other

0 stars 1 forks source link

Closed jcreedcmu closed 3 months ago

jcreedcmu commented 3 months ago

Would be nice to attain some version of twelf logo

jcreedcmu commented 3 months ago

Put some assets in dd6123df565958b0473b4446bf626b723cf068fe

jcreedcmu commented 3 months ago

Some information about the PICT format is here (from apple) and here (from dev.os9.ca).