| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-19 | [topfmt] Set formatter + flush fix | Emilio Jesus Gallego Arias | |
| Closes #12351. We set the parameters of the redirect formatter to be same than the ones in stdout. I guess the original semantics was to ignore the parameters, so I'm unsure we want to do this. While we are a it, we include a fix on the formatter, which _must_ be flushed before closing its associated channel. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |