debian specific patch information for prover9-manual / 0.0.200902a-1

 syntax.html |   16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo