Andre Klapper <> changed:

           What    |Removed                     |Added
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID
            Summary|ProveIt on |ProveIt not working on
                   |                            |

--- Comment #4 from Andre Klapper <> ---
links to which explains how to file
bug reports, and that the developers do not use this Bugzilla but

Hence closing as INVALID as the problem itself might be valid, but the
application is simply not handled in this Bugzilla.

Also, for your interest:

You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to