* autocorrect comment

This commit is contained in:
Pavel Sanda 2023-03-20 22:48:41 +01:00
parent e21d1d456d
commit 1e1034248e

View File

@ -4,7 +4,8 @@
# from TeXMacs (they give vdhoeven@texmacs.org as contact)
#
# We do it a bit differently and allow corrections only to combine a symbol
# and a char to a new symbol.
# and a char to a new symbol. In other words the combination of the first column
# followed by the second column produces third column in the mathed.
#
#