summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* flags -> modelightlabelsJacques Garrigue2000-03-291-3/+3
* fun: -> f:Jacques Garrigue2000-03-291-1/+1
* propagation des labels legersJacques Garrigue2000-03-291-2/+2
* propagation des labels legersJacques Garrigue2000-03-298-42/+43
* adapte aux labels legersJacques Garrigue2000-03-2939-480/+482
* This commit was manufactured by cvs2svn to create branch 'lightlabels'.No author2000-03-295-0/+1227
* les tout derniersJacques Garrigue2000-03-283-5/+5
* degraissage completJacques Garrigue2000-03-2711-29/+29
* un premier coup de balaiJacques Garrigue2000-03-278-78/+78
* This commit was manufactured by cvs2svn to create branch 'lightlabels'.No author2000-03-25877-149516/+0
* Meilleure detection de ndbm.hXavier Leroy2000-03-253-11/+34
* re-renommange: "-label" -> "-labels"Damien Doligez2000-03-2410-16/+16
* Suppression des fonctions de compatibilite POSIX et BSD, inutiles, voire nuis...Xavier Leroy2000-03-242-19/+51
* Utiliser re_free au lieu de regfreeXavier Leroy2000-03-241-1/+1
* Adaptation nouveau systeme de bibliothequesXavier Leroy2000-03-241-2/+3
* un ppf manquaitJacques Garrigue2000-03-231-2/+2
* renommage de min/maxDamien Doligez2000-03-214-93/+94
* Manquait un petit @.Pierre Weis2000-03-211-33/+43
* Utilisation de format.Pierre Weis2000-03-211-9/+6
* Revu la gestion des records de flottantsXavier Leroy2000-03-2117-57/+50
* Oubli de l'intitialisation du debugger.Pierre Weis2000-03-211-0/+2
* "modern" -> "label" suite (et fin ?)Damien Doligez2000-03-206-6/+9
* coherence des options entre ocamlc et ocamloptDamien Doligez2000-03-203-8/+11
* changement "modern" -> "label"Damien Doligez2000-03-177-10/+11
* Portage AIX 4.3Xavier Leroy2000-03-174-17/+32
* Retour de Cconst_pointer et ajout de Cconst_natpointer (necessaires pour un b...Xavier Leroy2000-03-176-10/+51
* En mode DEBUG, remplir le tas mineur de zeros apres le GC mineur (aide a trou...Xavier Leroy2000-03-171-0/+3
* nouveau changement de couleursJacques Garrigue2000-03-171-2/+2
* camlc -> ocamlcJacques Garrigue2000-03-171-2/+3
* cree stdlib/caml pour labltkJacques Garrigue2000-03-171-0/+8
* PR#33 + messages labels de recordsDamien Doligez2000-03-161-1/+1
* changement messages d'erreur sur les labels de recordsDamien Doligez2000-03-161-9/+11
* fix Array.sort (PR#33)Damien Doligez2000-03-161-0/+3
* Definir MAP_FAILED si pas defini (pour les vieux systemes genre SunOS et AIX ...Xavier Leroy2000-03-161-0/+4
* Effacer le .cmi si exception pendant son ecritureXavier Leroy2000-03-161-12/+17
* MAJ portage Win32Xavier Leroy2000-03-1622-101/+312
* check labels first in type_applicationJacques Garrigue2000-03-161-8/+13
* sorry for the tabsJacques Garrigue2000-03-1510-46/+53
* better printing and colorizingJacques Garrigue2000-03-152-14/+16
* warning and error reportJacques Garrigue2000-03-154-17/+21
* Ident passe a FormatJacques Garrigue2000-03-151-2/+2
* MacOSDamien Doligez2000-03-138-299/+287
* Le module Ident passe a Format.Pierre Weis2000-03-138-38/+36
* Flags de compilation pour la version opt.Pierre Weis2000-03-132-3/+3
* La gestion du backing store et de l'affichage sur écran sont disjointsPierre Weis2000-03-139-92/+136
* oublis Cconst_pointer -> Cconst_intJacques Garrigue2000-03-132-4/+1
* meilleure impression pour ocamlbrowserJacques Garrigue2000-03-131-12/+10
* allow -L options in -tklibsJacques Garrigue2000-03-131-1/+1
* typoJacques Garrigue2000-03-131-1/+1
* Revision Makefiles de labltk pour adaptation aux nouveaux .cma avec libs C in...Xavier Leroy2000-03-126-27/+20