[Aimmath-developers] streamlined installation

[Gustav W D. <gu...@ma...>]

I have committed the modified Servlet.mpl together with a modified
ManualConfig.dist and Autoconf.mpl. Servlet.mpl no longer overwrites
Tomcat's server.xml.

You should now be able to check out the AiM module into any subdirectory of
the Tomcat/webapps/ directory, put the name of that directory into
ManualConfig.mpl, open Maple and read in AutoConf.mpl, restart Tomcat, and
go.

I am planning to write new installation instructions tomorrow.

Gustav