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 7 #146

Closed GinoGiotto closed 1 year ago

GinoGiotto commented 1 year ago

Continuation of #138

This PR covers the mmhlpa.c and mmhlpb.c files, which are easy to handle. Only the header is left out.