Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 71ae6ad5 authored by Michael Kohlhase's avatar Michael Kohlhase

starting a test suite

parent a88ca0b5
import MathEng.gf
parse -cat=MathNP "$ n $"
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