6 ms·Prof. Davis' software is Jed. Slava Pestov's is Jedit. All is good.by zafiro17 5y agoProf. Davis' software is Jed. Slava Pestov's is Jedit. All is good.