search

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

Closed GinoGiotto closed 1 year ago

GinoGiotto commented 1 year ago

In https://github.com/metamath/metamath-exe/issues/17 I read:

  • [ ] Use // comments instead of /* (or doc-comments where appropriate)

It doesn't seem a difficult task, so I thought I could give my contribution.

I might continue this if I did a good change.

benjub commented 1 year ago

What tool/command did you use ?

For comments on a single line, you can use sed, or a little python script.

GinoGiotto commented 1 year ago

I'm doing a mix of python and manual changes (like adding periods in some circumstances to clarify the end of a sentence). Sometimes there are odd intentations and right now I'm just using my personal taste.

If there are strict aesthetic rules, let me know bc they would help me automate the process even more.