Atur cara mengikut mdt.sf.net

  • Maude Development Tools Percuma

    Alat Pembangunan Maude adalah satu set plugin yang membenamkan jurubahasa maude (http://maude.cs.uiuc.edu) dalam Gerhana. Ia menyediakan plugin teras, yang membolehkan mana-mana program Java untuk menggunakan Maude, dan satu