diff leim/CXTERM-DIC/Punct-b5.tit @ 97796:5d474cdb19f8

(json-read-number): New arg. Handle explicitly signed numbers. (json-readtable): Add `+' and `.'.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 28 Aug 2008 20:19:17 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
line wrap: on
line diff