Merge branch '01' into 05-matprod
Merge branch '00-admin' into 01
Merge branch '00-admin' into 05-matprod
Merge branch '01-cleanup' into 05-matprod
Merge branch '03-protect' into 05-matprod
Merge branch '01-testing' into 05-matprod
new, slightly updated and reorganized, version of matprod
Merge branch '05-matprod' into 06-gram
mention master branch in mods/README
Merge branch '00' into 00-version
Merge branch '00' into 01
mention project pages in README
Merge branch '00-version' into 01
Merge branch '01' into 06-gram