aboutsummaryrefslogtreecommitdiff
path: root/library/heads.ml
AgeCommit message (Expand)Author
2011-10-12Temporary revert commit 14550 since it breaks a few contribsletouzey
2011-10-11in heads.ml, at least turn the Not_found of #2608 into assert falseletouzey
2011-07-29Heads: generic equality on constr replaced by destructorpuech
2010-09-24Some dead code removal, thanks to Oug analyzerletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-10-21This big commit addresses two problems:soubiran
2009-09-17Remove useless Liboject.export_function fieldglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-13Death of "survive_module" and "survive_section" (the first one washerbelin
2009-08-06- Cleaning phase of the interfaces of libnames.ml and nametab.mlherbelin
2009-04-08Some dead code removal + cleanupsletouzey
2008-07-22Correct implementation of discharging of implicit arguments and add newmsozeau
2008-04-24Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840herbelin
2008-04-23Prise en compte des coercions dans les clauses "with" même si le typeherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 23:20:40 +0000