proof2ref v0.2

Automatically replaces theorems proofs in the *.miz files with available references.

How to use:

For the single file (without *.miz extension):

python proof2ref.py -f text/filename

For the all files from text directory:

python proof2ref.py -d text

For the single file (without *.miz extension) with generated report (report.txt):

python proof2ref.py -f text/filename -r

For the all files from text directory with generated report (report.txt):

python proof2ref.py -d text -r

WARNING!
In the first place you have to run redefth.py which create redefines version of MML base.
Remember to set up mizarPath inside of the script.

Requirments:

Mizar 7.12+, Python 2.5+, lxml 2.3+

More info:

Mizar: mizar.org