summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* more detailspoly_methJacques Garrigue2000-12-153-37/+104
* mergedJacques Garrigue2000-12-1312-187/+206
* mergeJacques Garrigue2000-12-065-31/+58
* import from HEADJacques Garrigue2000-10-281-4/+8
* import moreJacques Garrigue2000-10-282-33/+179
* instance_polyJacques Garrigue2000-10-251-3/+7
* implement instance_sep, modify printtyp and typetexpJacques Garrigue2000-10-245-13/+216
* beginning of polymorphic methodsJacques Garrigue2000-10-239-117/+105
* This commit was manufactured by cvs2svn to create branch 'poly_meth'.No author2000-10-021413-225449/+0
* or-pat avec variables et compil du switchLuc Maranget2000-10-0227-321/+1946
* or-pat avec variables et compil du switchLuc Maranget2000-10-0215-198/+535
* precision doc appendDamien Doligez2000-09-281-2/+2
* adaptation zsh sous MacOS XDamien Doligez2000-09-261-3/+3
* PR#191: ne pas inclure les cas traites dans la liste des cas oubliesJacques Garrigue2000-09-201-3/+5
* alloc.c: typo; weak.c: include manquantDamien Doligez2000-09-082-1/+3
* change variance syntaxJacques Garrigue2000-09-0711-104/+130
* construit supertypes pour constructeurs contravariantsJacques Garrigue2000-09-071-2/+3
* patch par Didier le Botlan pour les commentairesJacques Garrigue2000-09-071-2/+6
* bug begin endDamien Doligez2000-09-062-2/+2
* ajout des variancesJacques Garrigue2000-09-0617-92/+333
* relaxation de la semantique des effets de bords sur les parametresJacques Garrigue2000-09-048-33/+50
* alpha-conversion pour eviter un clash bizarre sur RhapsodyDamien Doligez2000-09-012-22/+22
* 1- Ajout d'alpha-conversion dans substitute pour eviter les captures de varia...Xavier Leroy2000-09-011-53/+91
* add ocamllex.opt and opt.opt targetsJacques Garrigue2000-08-316-4/+36
* must detect executable name first for CygwinJacques Garrigue2000-08-251-1/+1
* use windows fonts for Cygwin; but shell does not workJacques Garrigue2000-08-252-5/+7
* Warning changesJacques Garrigue2000-08-251-1/+1
* for CygwinJacques Garrigue2000-08-253-13/+19
* recognize Tk under CygwinJacques Garrigue2000-08-251-3/+9
* petit probleme avec AssertDamien Doligez2000-08-231-3/+3
* option -warn-errorDamien Doligez2000-08-2311-18/+65
* option -warn-error, directive #warn_errorDamien Doligez2000-08-233-5/+13
* test de -warn-errorDamien Doligez2000-08-231-0/+44
* ajout Weak.get_copyDamien Doligez2000-08-232-5/+21
* ajout Weak.get_copyDamien Doligez2000-08-239-18/+62
* ajout option -warn-errorDamien Doligez2000-08-231-0/+10
* depsDamien Doligez2000-08-232-61/+68
* Installer bigarray.hXavier Leroy2000-08-211-0/+1
* ptit bug dans un formatLuc Maranget2000-08-141-1/+1
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-118-384/+744
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-1118-152/+198
* imprime les traces meme sans expansion, pour les erreurs de sous-typageJacques Garrigue2000-08-111-3/+5
* Typos introduites pendant le portage CygwinXavier Leroy2000-08-103-3/+2
* Portage CygwinXavier Leroy2000-08-1023-219/+322
* tiny bug in eqtypeJacques Garrigue2000-08-101-1/+1
* Pour HAS_SELECT, verifier l'existence du type fd_set (PR#158)Xavier Leroy2000-08-081-6/+9
* int*_of_string: echouer si la chaine contient des chiffres illegaux dans la b...Xavier Leroy2000-08-081-2/+2
* Ouvrir le source en mode binaire pour avoir des numeros de caracteres correct...Xavier Leroy2000-08-041-1/+1
* autorise l'application d'une contrainte a un type en cours de definitionJacques Garrigue2000-08-043-15/+30
* Utiliser Hashtbl.replaceXavier Leroy2000-07-281-2/+1
View Lorry Controller Status