[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Two articles are missing

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Two articles are missing
From: "P.S.V.R" <pmq2001@gmail.com>
Date: Thu, 17 Feb 2011 17:57:54 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:content-type:subject:date:message-id:to:mime-version:x-mailer; b=Xvlo2H0tlzHcmDDzD8wHVCbh7EYlPU2Ywg8fzPBl34wivXumecgxQifs8YapPyZw7F 9/v0MjNMEnnXherXbRxSFU2CGkwevTw1Ml8Z0LjBpU0isLooo+vbRcQbp6d3R7ZKG7lT WYVy25+KAHT/c6+Ts08nWPRkOSGJhM+2qIvWg=

By analyzing /usr/local/share/mizar/mml.vct via a script I wrote

I found the following two sections, which are mentioned in mml.vct but its corresponding article does not exist in the /usr/local/share/mizar/mml/ directory

AMI_7

SCMNORM

Seems like a bug in the current distribution.

Best,

Minqi Pan

Follow-Ups:
- Re: [mizar] Two articles are missing
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>

Prev by Date: Re: [mizar] @; and @by
Next by Date: Re: [mizar] Two articles are missing
Index(es):
- Chronological
- Thread