Bug Reports
This is the place to report bugs in Mizar. Note: Please start a new topic for each bug.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). ... | JosefUrban - JosefUrban |
2002-08-07 - 13:58 - 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 ... | JosefUrban - JosefUrban |
2002-07-09 - 10:12 - 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.
Topic revision: r3 - 2002-07-05 - 16:11:17 - WikiRoot
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback