Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.BugReportr1.3 - 05 Jul 2002 - 16:11 - WikiRoottopic end
Start of topic | Skip to actions

Bug Reports

This is the place to report bugs in Mizar. Note: Please start a new topic for each bug.

New bug topic:   (Use a name in WikiNotation)

Reported bugs:

Bug: Submitted by -
Last Author: 		Last Change - Version:
BadErrorMessages: Bug: Incorrect Error Explanations Sometimes the error explanation is incorrect (or rather partially correct ... it does not take into account al possibilities). Test ... JosefUrban -
JosefUrban 		07 Aug 2002 - 13:58 - 1.1 - Diffs
CheckerClusterRounding: Bug: CheckerClusterRounding Checker (sometimes?) forgets to do the "cluster rounding up". Test case (taken from the Hagenberg course) having the cluster being T1 ... JosefUrban -
JosefUrban 		09 Jul 2002 - 10:12 - 1.1 - Diffs
Number of topics: 2

Related topics:

  • BugAssigned?: List of bugs assigned to be fixed.
  • BugResolved?: List of resolved bugs
  • BugDuplicate?: List of duplicats of other bugs.
  • BugRejected?: List of rejected bugs.
  • NewBugTemplate: Template topic for new bugs
    • NOTE: Please don't edit this page unless you are a TWiki.org administrator!
    • To submit new bug reports, scroll to the top of this page and use the form field.

to top
End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.3 | > | r1.2 | > | r1.1 | Total page history | Backlinks
You are here: Mizar > WebForm > BugReport

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback