Instalar jedit

broken image
broken image

If you have just installed jEdit to use it with MMT, MMT will automatically set some useful configurations in jEdit.Install jEdit, for example from and run it at least once, so its config folder will be created (for setting up MMT).To do that, you have to install jEdit before you run MMT. When running MMT for the first time, it will ask whether you want to setup the jEdit support. The functionality is described here Installation

broken image

This section is about the setup of the jEdit plugin. The jEdit plugin based on MMT yields an IDE for MMT content.

broken image