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

Remove obsolete tests

Subject: Remove obsolete tests
From: Chris Warburton
Date: Mon, 11 Dec 2017 16:31:23 +0000
Resolution: fixed
State: resolved

For example, those involving Haskell types

Follow-Ups:
- Re: Remove obsolete tests
  - From: Chris Warburton
- Re: Remove obsolete tests
  - From: Chris Warburton

Prev by Date: Re: Put sampled names into IsaCoSy signature
Next by Date: Turn standalone tests into inline dependencies
Previous by thread: Re: Put sampled names into IsaCoSy signature
Next by thread: Re: Remove obsolete tests
Index(es):
- Date
- Thread