add changelog for #30

Author: digama0

metamath.c

@@ -58,7 +58,10 @@
 #define MVERSION "0.199.pre 7-Aug-2021"
 /* 0.199.pre
    30-Dec-2021 mc metamath.c mmdata.c mminou.c mmmaci.c -
-     Remove mmmaci and everything related to THINK_C compiler */
+     Remove mmmaci and everything related to THINK_C compiler
+   4-Jan-2022 mc - change VERIFY MARKUP /TOP_DATE_SKIP and /FILE_SKIP to
+     /TOP_DATE_CHECK and /FILE_CHECK (with opposite meaning), and make the
+     skip behavior the default. */
 /* 0.198 nm 7-Aug-2021 mmpars.c - Fix cosmetic bug in WRITE SOURCE ... /REWRAP
    that prevented end of sentence (e.g. period) from appearing in column 79,
    thus causing some lines to be shorter than necessary. */