Viewing all changes in revision 10130.
- Committer: Hugo Herbelin
- Date: 2015-12-02 19:49:08 UTC
- Revision ID: git-v1:71c35a05085e59ac2cd763f0416e91fdf50d9178
Being more robust on the location of lablgtk2 for coqmktop.ml.
- files modified:
- config/coq_config.mli
expand all
collapse all
added
removed
