nilqed/jeditIDE

jedit IDE howto (example for FriCAS)

Python