search

ml4tp / gamepad

A Learning Environment for Theorem Proving
Apache License 2.0
71 stars 15 forks source link

suggestion: Use eval to add path in zsh+iTerminal #1

Closed tigerneil closed 5 years ago

tigerneil commented 6 years ago

after installing ocamlfind need to run the following to update path in my setting.

eval $(opam config env)

FYI