search

metamath / metamath-exe

Metamath program - source code for the Metamath executable
GNU General Public License v2.0
77 stars 25 forks source link

doc print2 (1) #77

Closed wlammen closed 2 years ago

wlammen commented 2 years ago

to be continued...

wlammen commented 2 years ago

There won't be much change to the documentation of print2, so this can be seen as a useful state to be checked in. Next is printLongLine, and that is a beast, too.

wlammen commented 2 years ago

One issue unresolved, because I do not (fully) agree with the suggestion

wlammen commented 2 years ago

I'd like to see a table added to the preconditions where each flag indicates what step it dis-/enables (like in the printf docs). But this is a future feature, maybe done by someone else.