Guillaume Melquiond comments

Repositories
Issues
Comments

Results 121 comments of


                                            Guillaume Melquiond

Adding -L option to CoqProject for recursively building and importing dependencies

> some sub-project depend on another sub-project that is not a strict sub-directory. (i.e. -L ../proj1 Proj1). I believe that -R and -Q both require that any loaded packages be...