The download link for a task produces an archive of past submissions?

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

The download link for a task produces an archive of past submissions? #10

Open Armael opened 5 years ago

Armael commented 5 years ago

I expected the "Download" link on this page http://vmnipkow14.in.tum.de/competitions/contest/1/ to give me an archive with the template files. Instead, I got an archive apparently containing past submissions of ...people. I assume that's a bug? (also, my submission was in a Submission.thy file although it's a Coq proof)

wimmers commented 5 years ago

This is actually not a bug. The download link there is only visible to administrators and meant to e.g. facilitate grading for courses. However, we could use more clear language there.

maxhaslbeck commented 5 years ago

I agree it is not a bug itself, but

it should get a more informative name (e.g. "download for marking", "download all solutions").
the creation of the archive must be ITP-aware (BUG!)