1321 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	17877c7f36	Construct new terms.	2015-10-21 15:58:55 -04:00
Rob Rix	ebd101b22f	Add a value for terms.	2015-10-21 15:58:00 -04:00
Rob Rix	2aa2e49f41	Return null.	2015-10-21 15:57:23 -04:00
Rob Rix	27f01cc43f	Construct new values.	2015-10-21 15:57:15 -04:00
Rob Rix	848f3ec654	Return the element representing deletions.	2015-10-21 15:55:02 -04:00
Rob Rix	d373c6829c	Remove the before/after elements.	2015-10-21 15:54:46 -04:00
Rob Rix	2232be5e9f	Pass the input strings around everywhere.	2015-10-21 15:54:10 -04:00
Rob Rix	a7c04a8214	Don’t fetch the before/after terms.	2015-10-21 15:51:47 -04:00
Rob Rix	f687283721	Map replacements into Replace values.	2015-10-21 15:51:40 -04:00
Rob Rix	ba55d8a5ad	Map deletion/insertion patches in the source diff into deletions/insertions.	2015-10-21 15:50:29 -04:00
Rob Rix	014efdc84e	Map deletions into DOM.	2015-10-21 15:50:13 -04:00
Rob Rix	9d3a6b9ec6	Add values for patches.	2015-10-21 15:50:06 -04:00
Rob Rix	f8f82a6b16	Pass the DOM elements.	2015-10-21 15:49:34 -04:00
Rob Rix	ead175b4e4	We do, now.	2015-10-21 14:10:51 -04:00
Rob Rix	49d0904b1b	term recurs through syntax.	2015-10-21 14:09:40 -04:00
Rob Rix	90ae03f234	Recur through replacements.	2015-10-21 14:08:43 -04:00
Rob Rix	6c1b0c0fa6	Use .notation instead of subscripting.	2015-10-21 14:08:35 -04:00
Rob Rix	18fde70e60	Handle insertions/deletions.	2015-10-21 13:01:05 -04:00
Rob Rix	4043a39b2b	term takes an element.	2015-10-21 12:59:47 -04:00
Rob Rix	698bc16a98	Find the before/after elements.	2015-10-21 12:59:37 -04:00
Rob Rix	0fd240ee3d	Stub in term handling.	2015-10-21 12:58:21 -04:00
Rob Rix	1d91880842	Merge branch 'master' into diff-ui-shows-original-sources	2015-10-21 12:49:14 -04:00
Josh Vera	47be99ea8f	Merge pull request #134 from github/load-json-diffs-in-ui ... Load JSON diffs in UI	2015-10-21 12:05:53 -04:00
Rob Rix	802f6f3f2b	diff is its own continuation.	2015-10-21 12:03:17 -04:00
Rob Rix	888379544c	Recur via the continuation.	2015-10-21 12:02:57 -04:00
Josh Vera	910f938431	Merge pull request #123 from github/output-source-range-annotations-to-json ... Output source range annotations to json	2015-10-21 12:02:31 -04:00
Rob Rix	652b1ee699	We’ll need to handle annotated terms.	2015-10-21 12:02:10 -04:00
Rob Rix	8b9cfde29e	Process the top-level diff with diff.	2015-10-21 12:01:30 -04:00
Rob Rix	57456430a1	Pass a continuation around.	2015-10-21 12:01:19 -04:00
Rob Rix	d19f212467	We need to handle leaves.	2015-10-21 12:00:46 -04:00
Rob Rix	64fcc98221	Log the diff.	2015-10-21 11:59:56 -04:00
Rob Rix	61eff92eff	Call out to patch/syntax when processing a diff.	2015-10-21 11:59:48 -04:00
Rob Rix	f5380548e2	Annotate Free JSON output with the case explicitly. ... Diffs of diffs were getting pretty confusing.	2015-10-21 11:57:33 -04:00
Rob Rix	61bb54cdad	Stub in a function to process patches.	2015-10-21 11:49:03 -04:00
Rob Rix	3701da8d43	No margin/padding.	2015-10-21 11:48:46 -04:00
Rob Rix	e1ef212539	Merge branch 'load-json-diffs-in-ui' into diff-ui-shows-original-sources	2015-10-21 11:41:46 -04:00
Rob Rix	08eb766c0c	Merge branch 'output-source-range-annotations-to-json' into load-json-diffs-in-ui	2015-10-21 11:41:20 -04:00
Rob Rix	8eee045dfc	Merge branch 'master' into load-json-diffs-in-ui	2015-10-21 11:41:01 -04:00
Rob Rix	0a34d3738e	Merge branch 'master' into output-source-range-annotations-to-json	2015-10-21 11:40:26 -04:00
Rob Rix	3ba2585165	Merge pull request #125 from github/parse-json ... Add JSONParser	2015-10-21 11:37:30 -04:00
joshvera	91c6ad085b	use sepBy	2015-10-21 11:25:37 -04:00
joshvera	7f5d5d354d	indentation	2015-10-21 11:25:33 -04:00
joshvera	2cf0464878	annotate error messages	2015-10-21 11:25:28 -04:00
joshvera	29755448db	handle newlines	2015-10-21 11:21:37 -04:00
Rob Rix	1ca7447e0f	Process the diff.	2015-10-21 11:17:39 -04:00
Rob Rix	5ba5589766	Add a function for processing syntax elements.	2015-10-21 11:17:33 -04:00
joshvera	cc7f84b6c7	indentation	2015-10-21 11:17:28 -04:00
Rob Rix	81cfdb5020	Add a function for processing keyed syntax elements.	2015-10-21 11:17:25 -04:00
Rob Rix	9aa2261b7d	Add a function for processing indexed elements.	2015-10-21 11:17:16 -04:00
joshvera	24cd71a09f	🔥 extension	2015-10-21 11:16:57 -04:00