Migration to frege.ide with Impuls plugin

This applies when you have Eclipse Kepler, Luna or Mars and want to update to frege.ide 3.23.356 or higher.

Note that lower versions are not supported anymore on Eclipse Mars! OTOH, if you have Indigo to Luna the highest supported frege.ide version is 3.23.343.

• (Recommended if you have a working configuration: back up your eclipse installation folder)

• For each Frege Project

  • Close all editor windows
  • Remove the fregec.jar from Build Path (in the Project Explorer, follow "Referenced Libraries", right click fregec.jar, select "Remove from Build Path" menu entry)
  • In the project properties, disable the Frege builder
  • Close Project

• Uninstall "Frege Development". To do this select "Help" -> "About Eclipse" from main menu. In the "About" dialog click "Installation Details". Select "Frege Development" in the list, and click button "Uninstall ...". Confirm Eclipse Restart after it is done.

• (Optional: Clean up your installation. You do have a backup, do you?) Stop Eclipse and remove left-overs in plugins/ directory

  cd ~/eclipse/mars/plugins
  rm -rf frege.ide* org.eclipse.imp.* lpg.*
  

• Install "Frege Development" version 3.23.356.a (or higher) from the FregIDE update site. For this, you expand "Frege IDE Support" and tick the box on the 3.23.356.a version (or higher). No need to install anything else!

• After Eclipse has been restarted, do the following for each Frege project:

  • Open Project
  • Right click the project folder, select menu entry "Enable Frege Builder" (if there is no such entry, show the error view for messages. Resolve, if possible. Otherwise, open an Issue)
  • In the project properties, make sure the Frege Builder is actually enabled.
  • Check preferences (once):
    • General -> Editors -> File Associations. Make sure .fr is mapped to the Impulse Editor
    • General -> Editors -> Text Editors. Check "Displayed tab width", "Insert spaces for tabs"
    • Frege (tabulator width should match settings from Editor Preferences)