coq/dev/inc_ltac, branch master

coq/dev/inc_ltac, branch master The formal proof system [dev] Add include versions for Dune builds. 2019-02-18T17:15:44+00:00 Emilio Jesus Gallego Arias 2019-02-12T03:32:47+00:00 fad095ccc656c5fccc5e50b36067deabde233bb3 Fixes #9537 This way, users can do: ``` dune exec coqtop.byte > Drop. # #directory "dev";; # #use "include_dune";; ```

Fixes #9537

This way, users can do:
```
dune exec coqtop.byte
> Drop.
 # #directory "dev";;
 # #use "include_dune";;
```