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

Re: Handle 'lambda' and '@' in TIP theorems

Subject: Re: Handle 'lambda' and '@' in TIP theorems
From: Chris Warburton
Date: Thu, 16 Nov 2017 17:38:42 +0000
In-reply-to: <f5669cd4db415d36-0-artemis@nixos>
References: <f5669cd4db415d36-0-artemis@nixos>

Fixed in te-benchmarks and bumped the version.

References:
- Handle 'lambda' and '@' in TIP theorems
  - From: Chris Warburton

Prev by Date: Handle 'lambda' and '@' in TIP theorems
Next by Date: Run benchmark analyses even after failure
Previous by thread: Handle 'lambda' and '@' in TIP theorems
Next by thread: Run benchmark analyses even after failure
Index(es):
- Date
- Thread