search

metamath / metamath-exe

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

Line comments instead of block comments 13 #152

Closed GinoGiotto closed 10 months ago

GinoGiotto commented 1 year ago

Continuation of https://github.com/metamath/metamath-exe/pull/138

This PR covers the mmpars.c file. Only the header, a few inline comments and /*E*/ comments are left out.

GinoGiotto commented 10 months ago

Nice! Thank you so much for your time.