index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
kernel
/
csymtable.ml
Commit message (
Expand
)
Author
Age
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
Some dead code removal, thanks to Oug analyzer
letouzey
2010-09-24
*
fixed bug #2105 (compilation of free de Bruijn) and missing lift of predicate...
barras
2010-07-29
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Removed $Id$ introduced inadvertently in r13005 (no more $Id$ since r12972)
herbelin
2010-05-09
*
Added a few informations about file lineages (for the most part in kernel)
herbelin
2010-05-09
*
Move Obj.magic call to the Vm module
glondu
2009-11-13
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod ->
herbelin
2008-12-31
*
Modification de la vm:
notin
2007-03-27
*
Changement des named_context
gregoire
2005-12-02
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
compatibility with POWERPC
gregoire
2004-11-22
*
IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).
sacerdot
2004-11-16
*
Changement dans les boxed values .
gregoire
2004-11-12
*
COMMITED BYTECODE COMPILER
barras
2004-10-20