| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
This also changes the encoding of the ticks in TPTP to just an underscore.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Without this the reported failure would be the first task to fail chronologically. This would not necessarily be the first task to fail in the text, so we need to wait for the other queued tasks to finish and then select the first task in emission order.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This avoids overlapping with Naproche's env vars.
|
|
With these defaults, it should no longer be necessary to set `NAPROCHE_LIB` just for running library files from the root of this project.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
