[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Focus on the systems we evaluate

Subject: Re: Focus on the systems we evaluate
From: Chris Warburton
Date: Wed, 14 Mar 2018 14:54:17 +0000
In-reply-to: <fb7cb06eae080628-0-artemis@nixos>
References: <fb7cb06eae080628-0-artemis@nixos>

Done.

References:
- Focus on the systems we evaluate
  - From: Chris Warburton

Prev by Date: Colour bars should be limited to successful runs
Next by Date: Re: Use the same syntax for e.g. Nat
Previous by thread: Focus on the systems we evaluate
Next by thread: Talking about Isabelle
Index(es):
- Date
- Thread