aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/minilib.ml
Commit message (Expand)AuthorAge
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* Various small display improvementGravatar ppedrot2012-06-29
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Minilib: Always add the Coq_config.dirs to xdg_dirs (again)Gravatar letouzey2012-05-22
* Coqide: make some paths win32-compliantGravatar letouzey2012-05-16
* Revert commit 15287 : the env variables are indeed access at launch-timeGravatar letouzey2012-05-16
* Fixed access to environment variables in CoqIDE. Up to now, thoseGravatar ppedrot2012-05-08
* Always add the Coq_config.dirs to xdg_dirsGravatar pboutill2012-05-02
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* CoqIdE configuration file won't pollute your home anymoreGravatar pboutill2011-11-20
* 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
* same_file in MinilibGravatar pboutill2011-09-01
* [/]+ is equivalent to [/] in System and its copyGravatar pboutill2011-09-01
* Creation of ide/project_file.ml4Gravatar pboutill2011-09-01
* Menubar and toolbar in coqide using GtkUI & Gactions.Gravatar pboutill2011-06-10
* Attempt to use more local doc in coqideGravatar pboutill2011-04-28
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsGravatar letouzey2011-03-28
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25