summaryrefslogtreecommitdiff
path: root/tools/addlabels.ml
Commit message (Expand)AuthorAgeFilesLines
* fast and compact classesJacques Garrigue2003-11-251-1/+1
* changement des locations, premiere trancheDamien Doligez2002-11-011-5/+10
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-1/+2
* lazy a la TolmachDamien Doligez2002-01-201-1/+2
* uniformize ui + process implementations with scrapelabelsJacques Garrigue2001-10-031-1/+3
* remove labels from List.assoc/remove_assocJacques Garrigue2001-09-171-1/+1
* check before inserting in applicationJacques Garrigue2001-09-161-0/+14
* add labels in methodsJacques Garrigue2001-09-161-24/+54
* labelize also primitivesJacques Garrigue2001-09-151-5/+35
* new tool addlabelsJacques Garrigue2001-09-151-0/+368