de.uka.ilkd.key.gui.proofdiff
Classes
diff_match_patch
diff_match_patch.Diff
diff_match_patch.LinesToCharsResult
diff_match_patch.Patch
ProofDifference
ProofDifferenceView
ProofDifferenceView.OpenDifferenceWithParent
ProofDiffFrame
ProofDiffFrame.Action
Enums
diff_match_patch.Operation