| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 01-entities.patch | Replaced literal < and > symbols with entities in order to preventhtmldoc from failing. diff -urNad prover9-manual-0.0.200712~/syntax.html prover9-manual-0.0.200712/syntax.html |
<peter@xenon.peter.uk.to> | no |