Commit 2fdad24b authored by Michael Hanus 's avatar Michael Hanus
Browse files

Front end updated

parent 9f04da7c
curry-frontend @ 27b59ad4
Subproject commit eabfdfd7f04ea5bb878d95b8ee2f309ea33132ba
Subproject commit 27b59ad4f904db92b6b2fb1e23901408d0dd0a49
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment