Skip to content

Commit 152aeb7

Browse files
authored
remove tolerances from all pretty printing but TrialJudgement (#49)
* remove tolerances from all pretty printing but TrialJudgement * update manual
1 parent fa42d5b commit 152aeb7

File tree

2 files changed

+118
-160
lines changed

2 files changed

+118
-160
lines changed

0 commit comments

Comments
 (0)