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 11 #150

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 mmdata.c file. The header, doxygen comments and a few inline comments are left out. I also excluded some "highlighted" ones like: 

/*******************************************************************/
/*********** Number string functions *******************************/
/*******************************************************************/
GinoGiotto commented 10 months ago

@digama0 Can we review these last four PRs of the series as well? We don't have to do all of them today (although I would be very happy to do so), but they've been here for quite some time now and I would like to not wait for too long. I activated the notifications, any time you'll like to review them I'll be here to commit the corrections, I promise.

After the merge of these PRs it will be possible add a mark to #17 as we agreed in the past.