[SVN] r11407 (Maude)

Martin Kühl martin.kuehl at gmail.com
Tue Mar 24 19:00:30 UTC 2009


• Migrate `MaudeScript` into the Maude::Language struct.
• Move all bits of maude-handling logic into the MaudeMate module.
• Migrate MaudeMate to use Maude::Executor.
• Simplify the run_maudemate script.
• Remove maudescript library (obsolete).

Changed:
U   trunk/Review/Bundles/Maude.tmbundle/Support/MaudeMate/maudemate.rb
D   trunk/Review/Bundles/Maude.tmbundle/Support/MaudeMate/maudescript.rb
U   trunk/Review/Bundles/Maude.tmbundle/Support/run_maudemate.rb



More information about the textmate-dev mailing list