Don't generate prel/ folder

digama0 / mizar-rs

Alternative Mizar proof checker (http://mizar.org/) written in Rust

GNU General Public License v3.0

47 stars 4 forks source link

Closed CoghettoR closed 4 months ago

CoghettoR commented 4 months ago

About

Mizar verifier toolchain. Common usage cases:

  * mizar-rs -dex --overwrite-prel
    Read the MML .miz files and generate the prel/ folder

When i try

mizar-rs -dex --overwrite-prel

or i try

./analyse-mml.sh

I have no generation of the "prel" directory