Usage.md mention path/to/executable

leoprover / Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

http://inf.fu-berlin.de/~lex/leo3

BSD 3-Clause "New" or "Revised" License

41 stars 10 forks source link

Usage.md mention path/to/executable #58

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

When calling from install directory, java -jar leo3.jar fails. Needs the path: java -jar bin/leo3.jar

lex-lex commented 6 years ago

The updated building process of Leo-III now produces a stand-alone executable that does not rely on the location of the .jar file anymore. So the suggestion is obsolete, I guess. I updated the documents accordingly.