Package | Description |
---|---|
de.uka.ilkd.key.gui.proofdiff |
Class and Description |
---|
diff_match_patch.Diff
Class representing one diff operation.
|
diff_match_patch.LinesToCharsResult
Internal class for returning results from diff_linesToChars().
|
diff_match_patch.Operation
The data structure representing a diff is a Linked list of Diff objects:
{Diff(Operation.DELETE, "Hello"), Diff(Operation.INSERT, "Goodbye"),
Diff(Operation.EQUAL, " world.")}
which means: delete "Hello", add "Goodbye" and keep " world."
|
diff_match_patch.Patch
Class representing one patch operation.
|
ProofDifference |
Copyright © 2003-2019 The KeY-Project.