Rob Rix
|
38c50d4e4a
|
Term is not a proper noun any more.
|
2015-10-06 20:53:35 -04:00 |
|
Rob Rix
|
e152d8702a
|
/dev/null -> nil
`git difftool` will invoke us with /dev/null when a file has been
deleted.
|
2015-10-06 20:48:53 -04:00 |
|
Rob Rix
|
b3324a6c5f
|
Drop null JSON.
|
2015-10-06 20:46:24 -04:00 |
|
Rob Rix
|
7e4ca06cbc
|
Indexed, not Branch.
|
2015-10-06 20:45:50 -04:00 |
|
Rob Rix
|
706654552f
|
In, not Roll.
|
2015-10-06 20:45:37 -04:00 |
|
Rob Rix
|
771f03f1fa
|
Indentation.
|
2015-10-06 20:43:27 -04:00 |
|
Rob Rix
|
8a6a39f06a
|
Construct terms for section headings.
|
2015-10-06 20:43:23 -04:00 |
|
Rob Rix
|
87d547a670
|
Wrap constructors in .In.
|
2015-10-06 20:43:02 -04:00 |
|
Rob Rix
|
40ecf24c9e
|
Fix, not Term.
|
2015-10-06 20:39:57 -04:00 |
|
Rob Rix
|
f131f40752
|
Construct the terms in Fix .
|
2015-10-06 20:39:51 -04:00 |
|
Rob Rix
|
ee151d0edc
|
Compute the diff in FreeAlgorithm .
|
2015-10-06 20:39:37 -04:00 |
|
Rob Rix
|
c7d9216433
|
Info is StringConvertible.
|
2015-10-06 20:38:00 -04:00 |
|
Rob Rix
|
c16a8b3af2
|
Combine the extensions.
|
2015-10-06 20:35:52 -04:00 |
|
Rob Rix
|
5dd80cb0ce
|
Diff is defined over Term<Info>.
This enables diffs to operate on categorized Terms.
|
2015-09-30 16:05:39 -04:00 |
|
Rob Rix
|
f3122f1bae
|
Move JSON construction of Term into doubt-swift.
|
2015-09-30 15:08:19 -04:00 |
|
Rob Rix
|
975ac8fc2f
|
Term initialization is partial.
|
2015-09-23 17:37:53 -04:00 |
|
Rob Rix
|
0a4dd8111f
|
Spit out reflected diffs.
|
2015-09-23 17:37:29 -04:00 |
|
Rob Rix
|
5524e85653
|
/dev/null → .Empty
|
2015-09-23 17:01:09 -04:00 |
|
Rob Rix
|
1c60f97bbf
|
Print the diff between the files.
|
2015-09-23 16:39:30 -04:00 |
|
Rob Rix
|
53270aacfa
|
Try to construct terms for the argument files.
|
2015-09-23 16:37:22 -04:00 |
|
Rob Rix
|
7d05f5206b
|
Add a BoundsCheckedArray for unpacking arguments.
|
2015-09-23 16:34:07 -04:00 |
|
Rob Rix
|
a3aefe8e37
|
Use a .app target instead.
|
2015-09-23 16:04:19 -04:00 |
|
Rob Rix
|
9fa5aba516
|
Add a Swift diff tool target.
|
2015-09-23 13:32:17 -04:00 |
|