eds.activemath.org

Now, this is a great day! SLuMB, the OMDoc file storage for ActiveMath supports <imports from="x" type="global"/>. This was a standard feature of OMDoc specification but was never supported. I finally understood that this is the clean-way to support the management of big files and I even successfully split a LeAM_calculus monster-file in two without breaking references.