aboutsummaryrefslogtreecommitdiff
path: root/plugins/subtac/subtac_pretyping_F.ml
AgeCommit message (Expand)Author
2009-04-24- New cleaning phase for the entry points of pretyping.mlherbelin
2009-04-08Experimental support for automatic destruction of recursive calls andmsozeau
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey