John MacFarlane
3e61333af0
Fixed regression in markdown reader.
...
'(_hi_)' was being parsed with literal underscores (no emphasis).
The fix: the 'str' parser now only parses alphanumerics and
embedded underscores. All other symbols are handled by the
'symbol' parser. This has a slight effect on the AST, since
you'll get [Str "hi",Str ":"] insntead of [Str "hi:"]. But there
should not be a visible effect in any of the writers.
Thanks to gwern for pointing out the regression.
2011-01-01 22:46:30 -08:00
..
2010-12-19 12:41:27 -08:00
2010-11-12 18:46:34 -08:00
2010-11-12 00:38:31 -08:00
2010-11-11 20:02:37 -08:00
2010-12-30 13:55:40 -08:00
2010-12-07 08:28:18 -08:00
2010-03-14 23:23:07 +00:00
2010-12-13 20:48:19 -08:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-12-13 20:43:17 -08:00
2010-12-13 20:43:17 -08:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-12-17 13:39:17 -08:00
2010-12-19 12:43:25 -08:00
2010-12-17 13:39:17 -08:00
2010-12-19 12:42:32 -08:00
2010-12-10 12:14:51 -08:00
2010-12-10 12:14:51 -08:00
2010-11-12 00:38:31 -08:00
2010-12-19 12:41:27 -08:00
2010-12-08 08:39:50 -08:00
2010-12-08 08:39:50 -08:00
2010-07-22 23:24:22 -07:00
2010-07-22 23:24:22 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-02-28 08:13:48 +00:00
2010-12-07 21:49:10 -08:00
2010-12-20 19:36:35 -08:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-12-22 00:22:13 -08:00
2010-12-17 13:39:17 -08:00
2010-07-20 12:42:12 -07:00
2011-01-01 22:46:30 -08:00
2010-12-21 16:59:17 -08:00
2010-12-04 23:49:53 +05:30
2010-12-17 13:39:17 -08:00
2010-07-20 12:42:12 -07:00
2010-07-20 12:42:12 -07:00
2010-12-22 11:43:43 -08:00
2010-11-27 10:56:46 -08:00
2010-07-06 21:02:26 -07:00
2011-01-01 22:46:30 -08:00
2010-12-30 13:55:40 -08:00
2010-12-09 09:25:46 -08:00
2010-12-09 09:25:46 -08:00
2010-12-20 19:36:35 -08:00
2010-12-21 16:45:43 -08:00
2010-07-20 12:42:12 -07:00
2010-12-19 10:14:12 -08:00
2010-12-22 00:22:13 -08:00
2010-12-20 19:36:40 -08:00
2010-07-20 12:42:12 -07:00
2011-01-01 22:46:30 -08:00
2010-12-21 16:59:17 -08:00
2010-12-17 13:39:17 -08:00
2010-12-17 13:39:17 -08:00
2010-12-17 13:39:17 -08:00
2010-07-20 12:42:12 -07:00
2010-12-22 11:43:43 -08:00
2010-11-27 10:56:46 -08:00