3 Commits

Author	SHA1	Message	Date
Georges Dupéron	00eabe8305	Extended support for highlighting	2017-05-15 20:59:42 +02:00
Matthew Flatt	4a52d3c57c	racketblock: add "#i" to an inexact number to match source span ... This heuristic could go slightly wrong, for example causing "10.000" to render as "#i10.0" instead of "10.0", but it won't affect cases where the output already matched the input.	2015-02-21 14:12:38 -07:00
Sam Tobin-Hochstadt	a316fc12c0	Remove extra directories.	2014-12-02 00:54:52 -05:00