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

precision-recall-eqs-wrapper file reading

Subject: precision-recall-eqs-wrapper file reading
From: Chris Warburton
Date: Sat, 10 Jun 2017 14:24:34 +0100
Resolution: fixed
State: resolved

Make it take strings instead, and read the files in during the scripts/ file.

Follow-Ups:
- Re: precision-recall-eqs-wrapper file reading
  - From: Chris Warburton

Prev by Date: theorems-from-file redundant?
Next by Date: Reduce file usage in tests
Previous by thread: Re: theorems-from-file redundant?
Next by thread: Re: precision-recall-eqs-wrapper file reading
Index(es):
- Date
- Thread