aboutsummaryrefslogtreecommitdiff
path: root/library/decl_kinds.mli
AgeCommit message (Expand)Author
2012-05-29Decl_kinds becomes a pure mli file, remaining ops in new file kindops.mlletouzey
2012-03-02Noise for nothingpboutill
2011-04-13Revert "Add [Polymorphic] flag for defs"msozeau
2011-04-13Add [Polymorphic] flag for defsmsozeau
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-01-19Les records déclarés avec Record ne peuvent plus être récursifs (le aspiwack
2008-05-30Improvements on coqdoc by adding more information into .globmsozeau
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-02-01 22:51:10 +0000