Allow coqutil to be used with COQPATH without install - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Allow coqutil to be used with COQPATH without install #9

Closed JasonGross closed 5 years ago

JasonGross commented 5 years ago

mv src/{=> coqutil/}*