天泣記

2019-11-02 (Sat)

#1 Coq issue

Anomaly File 'pretyping/cases.ml', line 2027, characters 2-8: Assertion failed.' with let-in in arity of inductive type #11030

2019-11-12 (Tue)

#1 Ruby issue

Ruby Feature #16345: Don't emit deprecation warnings by default.

2019-11-29 (Fri)

#1 tig issue

GitHub jonas/tig/issues/973: The line position after 'Move to parent' in tig blame.


[latest]


田中哲