aboutsummaryrefslogtreecommitdiff
path: root/ide/minilib.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-09-10Moving a standard string function (is_prefix) from Minilib to CString.Hugo Herbelin
2019-09-10Being more informative on the steps of selection of the preference file.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-05-29Relying on computation done in Envars to discover the installation directories.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-03-21[pp] [ide] Minor cleanups in pp code.Emilio Jesus Gallego Arias
2014-07-22Ide: Drop argument added by MacOS during .app launchPierre Boutillier
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
2012-06-29Various small display improvementppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-22Minilib: Always add the Coq_config.dirs to xdg_dirs (again)letouzey
2012-05-16Coqide: make some paths win32-compliantletouzey
2012-05-16Revert commit 15287 : the env variables are indeed access at launch-timeletouzey
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01same_file in Minilibpboutill
2011-09-01[/]+ is equivalent to [/] in System and its copypboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
2011-04-28Attempt to use more local doc in coqidepboutill
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2011-03-28Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:08 +0000