Closed echalmers closed 1 year ago
Got the datafiles converted to pretext format & working Commented out a few more exercises with problematic unit tests (I asked about that problem on the pretext-support group)
Nice work on figuring out the file stuff, looks good!
Thanks to both of tou
Got the datafiles converted to pretext format & working Commented out a few more exercises with problematic unit tests (I asked about that problem on the pretext-support group)