[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Colour bar for ground truth theorems has fractions
- Subject: Re: Colour bar for ground truth theorems has fractions
- From: Chris Warburton
- Date: Mon, 30 Apr 2018 13:07:51 +0100
- In-reply-to: <a36dccf392a79ac9-0-artemis@nixos>
- References: <a36dccf392a79ac9-0-artemis@nixos>
Removed colourbars, as they're a bit of an information overload