search

metamath / metamath-exe

Metamath program - source code for the Metamath executable
GNU General Public License v2.0
77 stars 25 forks source link

Add tests for underscores in URLs #162

Closed jkingdon closed 1 year ago

jkingdon commented 1 year ago

This is existing behavior but it would seem to make sense because the concept of italics or subscripts does not make sense within a URL.

This is the case also discussed in https://github.com/metamath/metamath-knife/issues/128

digama0 commented 1 year ago

Superceded by 270e86d