coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Restoring test on ident validity while browsing directory structure.	Hugo Herbelin	2017-10-10
\| \| \| \| \| \| \| \| \| \| \| \| \|	The test was abandoned at the time of merging subdirectory browsing between coqdep and coqtop, and to limit at the same time the dependency of coqdep in files such as unicode.cmo. But checking ident validity speeds up browsing in arbitrary directory structure and we restore it for this reason. (One could also say that browsing arbitrary directory structures is not intended, but in practice this may happen, as e.g. reported in BZ#5734.)
*	Removing trailing "/" and "\" in directory names only on win32.	Hugo Herbelin	2017-08-15
\| \| \| \| \|	This refines e234f3ef. By the way, note that e234f3ef fixed #5391 (command line tools do not accept trailing "/" - or "\" - in windows).
*	Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)	Enrico Tassi	2017-07-20
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
\| \| \| \| \| \|	We simply remove the warnings about paths mixing Win32 and Unix separators, since that situation does not seem problematic (c.f. discussion on the bug tracker).
*	Makefile: restore the use of coqdep_boot for creating .v.d files	Pierre Letouzey	2016-06-01
	Coqdep_boot has almost no dependencies, and hence can be compiled very early during the build, without relying on .ml.d files. Some code of system.ml is now in a separate file minisys.ml, which is also included in system.ml for compatibility.