Package de.cau.cs.kieler.maude

Class Summary
MaudeInterfacePlugin This activator class controls the life cycle of the MaudeInterfacePlugin.