de.uka.ilkd.key.gui.proofdiff

Classes

• diff_match_patch
• diff_match_patch.Diff
• diff_match_patch.LinesToCharsResult
• diff_match_patch.Patch
• ProofDiffFrame
• ProofDiffFrame.Action

Enums

• diff_match_patch.Operation