search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

typos in README.md #47

Closed sfluegel05 closed 3 years ago

sfluegel05 commented 3 years ago

Some of the commands in README.md don't work. In the installation section, the second code block should be

# On Linux hosts with Python3 installed 
python3 -m venv ve && . ve/bin/activate

(venv is missing and it should be activate, not active)

And in the usage section, second code block, the --tptp flag is missing a -:

[rob@demo]$ parse_clif -f C:/Users/torsten/GitHub/colore/ontologies/multidim_space_dim/dim_prime_linear.clif -tptp --resolve
thahmann commented 3 years ago

Thanks for noticing - should be fixed now