Revision 519693043f95819b652a41edaeca5a86e6595db7 authored by Sebastian Gutsche on 16 June 2016, 12:24:01 UTC, committed by Sebastian Gutsche on 16 June 2016, 12:32:17 UTC
1 parent 0e5a017
Raw File
ListOfDocFiles.g
list := [
         "../gap/GradedRing.gd",
         "../gap/GradedRing.gi",
         "../gap/MatrixOverGradedRing.gd",
         "../gap/MatrixOverGradedRing.gi",
         "../gap/GradedRingBasic.gd",
         "../gap/GradedRingBasic.gi",
         "../gap/Tools.gd",
         "../gap/Tools.gi",
         ];
back to top