10 0 Sagetex : hyphen in filename forbidden ? ( 2015-01-28 21:54:08 +0200 )
10 0 Sagetex : hyphen in filename forbidden ? ( 2015-01-28 17:13:15 +0200 )
0 -10 Sagetex : hyphen in filename forbidden ? ( 2015-01-28 17:13:13 +0200 )
10 0 Sagetex : hyphen in filename forbidden ? ( 2015-01-28 17:04:38 +0200 )