summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
frontremove clausenr from terms, and put it into goals instead. Next up is impleme...Peter Mikkelsen4 years