index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
pre_env.mli
Age
Commit message (
Expand
)
Author
2012-12-14
Modulification of identifier
ppedrot
2012-08-08
Updating headers.
herbelin
2012-05-29
remove many excessive open Util & Errors in mli's
letouzey
2012-03-02
Noise for nothing
pboutill
2010-07-24
Updated all headers for 8.3 and trunk
herbelin
2010-06-22
New script dev/tools/change-header to automatically update Coq files headers.
herbelin
2010-04-29
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
Move from ocamlweb to ocamdoc to generate mli documentation
pboutill
2009-10-21
This big commit addresses two problems:
soubiran
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2008-03-14
Ajout des alias de module dans le noyau.
soubiran
2008-02-01
Beaoucoup de changements dans la representation interne des modules.
soubiran
2007-05-11
Processor integers + Print assumption (see coqdev mailing list for the
aspiwack
2007-03-27
Modification de la vm:
notin
2006-05-12
correction bugs de condition de garde (fix + cofix)
barras
2005-12-06
j'avais oublie ces deux fichiers.
gregoire
