~xavierb/automath#3: 
Make possible to write and submit new exercises from web interface

Instead of submit text file. Useful for novice users

Status
REPORTED
Submitter
~xavierb
Assigned to
No-one
Submitted
4 months ago
Updated
4 months ago
Labels
beta