1. Dmitry Grebeniuk
  2. ocaml-logicm

Source

ocaml-logicm / clean.bat

@call c:\overbld\ocaml\set-vars.bat
@bash clean.sh