index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
envars.ml
Commit message (
Expand
)
Author
Age
...
*
coqrc in the right XDG_CONFIG_HOME/coq folder
pboutill
2011-11-20
*
Add support for XDG_DATA_HOME and XDG_DATA_DIRS.
pboutill
2011-11-20
*
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-09-27
*
Choose relative directory over configured directory for coqlib.
pboutill
2011-04-29
*
coqtop -config returns coq returns coq environments at exection time
pboutill
2011-04-28
*
Win32: remove the need for Coq.bat and Coqide.bat
letouzey
2011-04-21
*
Add directories in COQPATH to search path.
herbelin
2011-04-14
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Gestion des espaces dans les noms + guess_coqlib sous Windows
notin
2009-02-11
*
Fix d'un problème lors de l'appel à coqtop avec un chemin relatif
notin
2009-02-11
*
Experimental file commited by mistake, sorry.
herbelin
2009-01-19
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
Remove trailing newlines in outputs of X -where
glondu
2009-01-08
*
Made the debugger work again:
herbelin
2009-01-02
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
[prev]