coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
*	Configuration: always giving a value to configdir and datadir.	Hugo Herbelin	2017-05-29
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Various small display improvement	ppedrot	2012-06-29
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Minilib: Always add the Coq_config.dirs to xdg_dirs (again)	letouzey	2012-05-22
*	Coqide: make some paths win32-compliant	letouzey	2012-05-16
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot	2012-05-08
*	Always add the Coq_config.dirs to xdg_dirs	pboutill	2012-05-02
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
*	Coq_makefile : bug when a project file is not in the current directory.	pboutill	2011-09-01
*	safe_prerr_endline in Minilib	pboutill	2011-09-01
*	same_file in Minilib	pboutill	2011-09-01
*	[/]+ is equivalent to [/] in System and its copy	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10
*	Attempt to use more local doc in coqide	pboutill	2011-04-28
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey	2011-03-28
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25