天泣記

2019-01-24 (Thu)

#1 Fix small errors in cic.rst.: coq pull-request #9392: Fix small errors in cic.rst.

2019-01-25 (Fri)

#1 Move \def\plus and \def\tri to refman-preamble.sty.: coq pull-request #9402: Move \def\plus and \def\tri to refman-preamble.sty.

2019-01-29 (Tue)

#1 Distributed PDF reference manual doesn't use calligraphic font: coq issue #9429: Distributed PDF reference manual doesn't use calligraphic font

2019-01-31 (Thu)

#1 Fix small errors in cic.rst (2nd).: coq pull-request #9449: Fix small errors in cic.rst (2nd).