Line comments instead of block comments 10

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 10 #149

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 mmpfas.c file. Only the header, a few inline comments and /*E*/ comments are left out.

GinoGiotto commented 1 year ago

There are currently no merge conflicts, but since comments are widespread throughout the code, these pending PRs might create complications for future commits. @digama0

GinoGiotto commented 1 year ago

Can we review these PRs? They've been pending for months and I'd like to avoid potential merge conflicts. @digama0