Package | Description |
---|---|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.proof.io.event |
Class and Description |
---|
ProofSaverEvent
An event thrown by a
ProofSaver . |
ProofSaverListener
Listens for changes on
ProofSaver instances. |
Class and Description |
---|
ProofSaverEvent
An event thrown by a
ProofSaver . |
Copyright © 2003-2019 The KeY-Project.