aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/10-standard-library
ModeNameSize
-rw-r--r--00000-title.rst36logplain
-rw-r--r--13080-ascii.rst131logplain
-rw-r--r--13559-primitive_integers.rst415logplain
-rw-r--r--13582-exp_ineq.rst299logplain
-rw-r--r--13671-Vector_to_list.rst541logplain
-rw-r--r--13804-count_occ.rst389logplain
-rw-r--r--13955-List_lemmas1.rst315logplain
-rw-r--r--13986-clean-List-imports.rst194logplain
-rw-r--r--14008-Cantor-pairing.rst311logplain