README ------ This directory contains the basic directory structure for several projects. To get more information about every project read the README file in its sub directory. * coq ; Coq projects * gap ; GAP projects * magma ; Magma projects * maple ; Maple projects * mathbook ; Mathbook projects * mathematica ; Mathematica projects * mathml ; MathML projects * om ; OpenMath projects * parser ; Parser projects * singular ; Singular projects * store ; Object store projects * taglib ; Tag libraries projects --END