poeschko/Mathics — pull request #159 by bnjones (2013-09-19 23:13:39+00:00)
Title: Fix unmatched <dl> tag in IntegerDigits docstring

Easy fix, but also add a check to spot this happening again in future