JinnIde - Configuration

JinnIde is the Jinni Prolog IDE Plugin for JEdit. Basically, it does not need any big configuration, particularly when you install the customization package which is the default. However, a few subtleties might require additional attention. So here are a couple of hints regarding possible configurations:

© 2001-2014 Chico Töpfer