akr

Avoid unicode subscripts in documentation

1

Fixes #17603 I removed Unicode subscript characters from doc directory. They are not shown well in PDF (and HTML on Android). I used :n: to describe subscripts without the characters....

I found that the explanation of the proof of edivnP on p. 110 is not updated. I read the book version 1.0.2. The proof of edivnP is changed in the...

assert_command foutput of OUnit 2.2.6

1

I found OUnit 2.2.6 changes the type of foutput option for assert_command. https://github.com/gildor478/ounit/commit/9345a4767b907e391ab48c6ccb3241015787e881 The sequence is created by seq_forever (same as Seq.forever for OCaml 4.14) which returns an infinite sequence....