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 6 #145

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 mminou.c file and applies the decision taken in the discussion https://github.com/metamath/metamath-exe/pull/144#discussion_r1214946709 for my previous commits. Doxygen comments are ignored (rule 1 of https://github.com/metamath/metamath-exe/pull/139). Rule 4 is discontinued. I made some exceptions to rule 2 and 3 because of past suggestions, this will be useful for me to have a better understanding of what comments I should left out in the future.

GinoGiotto commented 1 year ago

After getting a review for this PR, I'll have a better idea on how to approach longer files @digama0