JinnIde - JinniDoc's Known Bugs

JinnIde is the Jinni Prolog IDE Plugin for JEdit. The initial release of its automated documentation system has a couple of minor bugs which one might want to be aware of or look up here or on Sourceforge's JinniPlugin site. Please use Sourceforge's bug tracking system for the Jinni Prolog IDE Plugin should you want to tell me about other possible bugs.

JinnIde - Known Jinni Prolog Bugs

© 2001-2014 Chico Töpfer