aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/project_file.ml4
Commit message (Expand)AuthorAge
* CoqIDE: load first _CoqProject file found and notify the userGravatar Enrico Tassi2015-03-11
* Coq_makefile takes advantages of -I -Q -R cleanupGravatar Pierre Boutillier2014-06-30
* Coq_makefile: -extra[-phony] correction + docGravatar Pierre Boutillier2014-06-30
* Coq_makefile: -extra & -phony-extra for user defined makefile ruleGravatar pboutill2013-01-07
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* Bugs revealed by playing with contribsGravatar pboutill2012-05-25
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Coq_makefile: if no -install is provided, install location is set by a Makefi...Gravatar pboutill2011-12-17
* Teach coq_makefile how to install into XDG_DATA_HOME.Gravatar pboutill2011-11-20
* Coq_makefile handles .mlpack filesGravatar pboutill2011-10-26
* Coq_makefile: bugfix in install ruleGravatar pboutill2011-09-02
* Automatic search of project fileGravatar pboutill2011-09-01
* Coq_makefile : bug when a project file is not in the current directory.Gravatar pboutill2011-09-01
* safe_prerr_endline in MinilibGravatar pboutill2011-09-01
* Add option -f to coqideGravatar pboutill2011-09-01
* Creation of ide/project_file.ml4Gravatar pboutill2011-09-01