Fix bug #6250: Numbers in definition lists incorrectly recognized
treeef241897b1320e25a79f649460e3ccc10576b384
-rw-r--r-- 3686 AUTHORS
-rw-r--r-- 18011 COPYING
-rw-r--r-- 51847 ChangeLog
-rw-r--r-- 12394 ChangeLog.1
-rw-r--r-- 269338 ChangeLog.2
-rw-r--r-- 106832 ChangeLog.3
-rw-r--r-- 2766 Makefile
-rw-r--r-- 772 Makefile.defs
-rw-r--r-- 40503 NEWS
-rw-r--r-- 7750 README
drwxr-xr-x - contrib
drwxr-xr-x - etc
drwxr-xr-x - examples
drwxr-xr-x - experimental
drwxr-xr-x - lisp
drwxr-xr-x - scripts
drwxr-xr-x - texi