A jEdit plugin for doing propositional logic