eds.activemath.org

For some reasons you may be against using jEditOQMath and/or jEdit… But to be correctly integrated you would need to still request ActiveMath reload and error reporting. Here’s a recipe:

• you will need the application form of jEditOQMath, not the java-web-start way, get one from the downloads area. Let us call its path ‘jEditHome’
• what you want is to run the ant-file ‘build.xml’ within your collection… ‘cd’ to this directory then invoke:

../../bin/ant -Djedit.home=${jEditHome} -Dactivemath.home=../..

You can add some ant parameters after that (try ‘-projecthelp’ to see the possible targets).

Among the useful ones might be the ‘-emacs’ option which will avoid putting the ‘[taskname]’ banners hence will make the output clickable, e.g., in the Emacs text editor and most others.