1308 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	65ed7b6635	Remove toDOM.	2015-10-21 11:16:34 -04:00
Rob Rix	e7ee2f6aba	Populate the columns with the original sources.	2015-10-21 11:11:50 -04:00
joshvera	246e17b922	Parse numbers	2015-10-21 11:11:49 -04:00
Rob Rix	57f393c2cf	Paint the columns.	2015-10-21 11:11:37 -04:00
joshvera	81dc6c602e	Remove not combinator	2015-10-21 11:11:36 -04:00
Rob Rix	13113090fd	Treat whitespace in the columns as significant.	2015-10-21 11:11:30 -04:00
joshvera	f949bddaa2	++Madness	2015-10-21 11:11:30 -04:00
Rob Rix	7582eace28	Position the columns.	2015-10-21 11:11:14 -04:00
Rob Rix	c627af6324	Add column elements to the HTML.	2015-10-21 11:11:01 -04:00
Rob Rix	08f4e8c0e1	Wrap the diff in a hash containing both strings.	2015-10-20 18:03:04 -04:00
Rob Rix	3c8245a181	Remove the old UI fixtures.	2015-10-20 17:52:13 -04:00
Rob Rix	c19913abfd	Load diff.json.	2015-10-20 17:52:04 -04:00
Rob Rix	690cbb3866	Write the output to UI/diff.json.	2015-10-20 17:51:27 -04:00