search

metamath / metamath-exe

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

Line comments instead of block comments 5 #144

Closed GinoGiotto closed 1 year ago

GinoGiotto commented 1 year ago

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

This PR covers the mmveri.c file. Same categories described in https://github.com/metamath/metamath-exe/pull/139 are applied.

I also committed the third suggestion in the previous PR because Github didn't apply it.