Matthew Flatt 7a1cb5ed11 text%: avoid O(n^2) behavior on string insert ... Break large inserts into smaller chunks by successively halving the chunk, instead of successviely peeling off a small part. Also, avoid traversals and re-traversals of a long line while checking and breaking up lines. original commit: ac5961eae9a4d5c24f78e1d8f7d531c7f7881783		2014-11-24 16:27:11 -07:00
pkgs	text%: avoid O(n^2) behavior on string insert	2014-11-24 16:27:11 -07:00