You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A new mime type complicates lots of processing ans would anyway have to be optional so any receiving application would need to handle multiple mime types.
As one example we have no control over the mime types in github pages .ocd files are served as application/octet-stream from the canonical URL of each CD files whatever mime type we suggest.
On 10/3/17 4:30 AM, David Carlisle wrote:
Personally I think the arguments against doing this are still valid.
This is probably so, but I just assured Michael I would look into
#35. If we don't have one we can be careful in explaining
why we don't think it's desirable in this case.
Patrick
see OpenMath/OM3#106
The text was updated successfully, but these errors were encountered: