summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* add hidden arguments to type constructorshidden_argsJacques Garrigue2001-05-1417-139/+259
* This commit was manufactured by cvs2svn to create branch 'hidden_args'.No author2001-05-101455-231969/+0
* liste des labels manquants dans l'exception Labels_missingJacques Garrigue2001-05-102-6/+33
* update options/warningsJacques Garrigue2001-05-102-3/+5
* majuscules dans les labelsJacques Garrigue2001-05-102-4/+4
* meilleures dependencesJacques Garrigue2001-05-091-7/+8
* better dependenciesJacques Garrigue2001-05-091-11/+7
* add warningJacques Garrigue2001-05-095-2/+14
* oublis variesJacques Garrigue2001-05-0811-34/+44
* Try switching libraries to strict labelsJacques Garrigue2001-05-07111-516/+3106
* This commit was manufactured by cvs2svn to create branchNo author2001-04-301-1/+0
* more tests against zeroLuc Maranget2001-04-301-1/+5
* stupid bug in offsets (Switch)Luc Maranget2001-04-304-4/+29
* new Switch moduleLuc Maranget2001-04-306-693/+672
* Erreur dans la doc de Array.createXavier Leroy2001-04-261-1/+1
* cleaned bytecomp/simplif.mlLuc Maranget2001-04-231-61/+179
* bug 342 (records dans les orpats)Luc Maranget2001-04-233-8/+41
* enforce uniqueness of typing in label modeJacques Garrigue2001-04-1920-82/+132
* search symbolJacques Garrigue2001-04-151-15/+25
* add smalltalk-style browserJacques Garrigue2001-04-1310-29/+553
* Ajout de link pour W2K (L. Fourquaux)Xavier Leroy2001-04-103-2/+43
* Changements cosmetiques dans le signal_threadXavier Leroy2001-04-102-16/+7
* toilette du filtrage variants polymorphe + force traitement apres decouverte ...Jacques Garrigue2001-04-101-38/+26
* Patch pour trouver tcl/tk 8.2/8.3 sur certains Debians (PR#331)Xavier Leroy2001-04-061-0/+8
* Suppression re-partage des constantes structurees, ne sert pas a grand chose ...Xavier Leroy2001-04-021-14/+8
* Suite revision immediats entiers (PR#327,#328)Xavier Leroy2001-04-021-12/+9
* corrected bug 325Luc Maranget2001-03-303-36/+110
* Revu gestion des immediats entiers (PR#327,#328) -- non testeXavier Leroy2001-03-302-31/+50
* Petites correctionsXavier Leroy2001-03-301-5/+7
* Cleanup patches (see PR#321)Xavier Leroy2001-03-307-5/+9
* Doc de temp_file (PR#315)Xavier Leroy2001-03-291-1/+4
* ieee mode for FreeBSD before 4.0R (checked)Jacques Garrigue2001-03-271-4/+4
* bug idiot 324Luc Maranget2001-03-265-32/+43
* *** empty log message ***Fabrice Le Fessant2001-03-261-11/+555
* *** empty log message ***Fabrice Le Fessant2001-03-261-555/+11
* Correction d'une erreur sur la gestion des definitions de modulesPierre Weis2001-03-231-8/+6
* bug 319 (equivalent orpats with variables)Luc Maranget2001-03-212-9/+42
* Petit bug dans un titre de documentation (doit etre sur une seule ligne)Xavier Leroy2001-03-151-2/+1
* Dans float_of_bits, eviter de faire un load ou store flottant au cas ou le pr...Xavier Leroy2001-03-151-4/+4
* floating point requires initialization on FreeBSD before 3.1RJacques Garrigue2001-03-141-0/+10
* macos9: suppression de GUSI (PR#307); suppression 68kDamien Doligez2001-03-1312-3200/+88
* macos9: suppression GUSI (PR#307)Damien Doligez2001-03-1311-198/+94
* Mac OS 9Damien Doligez2001-03-075-10/+18
* Mac OS XDamien Doligez2001-03-072-3/+12
* MacOS XDamien Doligez2001-03-062-2/+3
* PR#303Damien Doligez2001-03-062-2/+2
* PR#302Damien Doligez2001-03-061-1/+2
* commentairesDamien Doligez2001-03-061-2/+2
* Version = 3.01; MAJ depsXavier Leroy2001-03-065-8/+10
* Page de man pour ocamldebugXavier Leroy2001-03-061-0/+37
View Lorry Controller Status