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 14 #153

Closed GinoGiotto closed 10 months ago

GinoGiotto commented 1 year ago

This PR covers the metamath.c file. Only the header, doxygen comments, /*E*/ comments and some inline comments are left out.

With this commit I covered all source files of metamath.exe. All comments that I didn't cover are either /*E*/ comments or they fall in one of the categories of #139.

I'm available to address some of the described exceptions if preferred (like the header, doc-comments, inline comments...). For example, upon revision the header would be like: 

// *****************************************************************************
//        Copyright (C) 2020  NORMAN MEGILL
//            License terms:  GNU General Public License
// *****************************************************************************
// 34567890123456 (79-character line to adjust editor window) 2345678901234567

@digama0 are there some categories that you would like to be revisioned before adding a mark to #17?

  • [ ] Use // comments instead of /* (or doc-comments where appropriate)
digama0 commented 1 year ago

I'll mark that check once all of your PRs are merged. I think this PR series adequately addresses it.

GinoGiotto commented 10 months ago

Very happy to have finished these PRs (making them took forever for me as well even if I partly automated some procedures).

Now a mark can be added to #17.