achlipala / frapapp

Web application for course on Formal Reasoning About Programs

achlipala/frapapp Issues

grade upload silently rejects valid HTML
Updated 4 years ago1
Too much escaping in announcement titles
Updated 4 years ago1
Wrong author in forum threads
Closed 4 years ago2
Calendar gets days wrong when in a different time zone
Updated 4 years ago
Search in forum
Updated 4 years ago
URLs to link to forum threads
Updated 4 years ago
"Hints" tab is gone
Closed 4 years ago
Subject and sender in email notifications
Updated 4 years ago
Unknown HTML tag font in email notification
Updated 4 years ago2
"Error querying remote server" timeout message
Closed 4 years ago1