repos - Revision 19302: /public/mathdoxplayer-3.9/source/player/collection

• ..
• collection-viewer.xpl
• collection.mathdox
• collection2mathdox-set.xpl
• player.xpl