TWiki> Mizar Web>BadErrorMessages (2002-08-07, JosefUrban)EditAttach

Bug: Incorrect Error Explanations

Sometimes the error explanation is incorrect (or rather partially correct ... it does not take into account al possibilities).

Test case

Let's collect the weird exmples of ErrorMessages:

ErrorNo143

Environment

Mizar version:  
MML version:  
OS:  

-- JosefUrban - 07 Aug 2002

Follow up

Fix record

WebForm
TopicClassification BugReport
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2002-08-07 - 13:58:44 - JosefUrban
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback