summaryrefslogtreecommitdiffstats
path: root/toplevel/topdirs.ml
AgeCommit message (Expand)Author
2012-02-23refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez
2011-12-14#5411: close input channel when loading a .cmo file fails in the toplevel.Alain Frisch
2011-12-13#5411: New #load_rec primitive for the toplevel (finds and loads .cmo files r...Alain Frisch
2011-11-24merge branches/gadts-develJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2008-12-03merge changes from 3.10.2merged to 3.11.0Damien Doligez
2006-09-28Revised DLL loading: distinguish between loading for executionXavier Leroy
2006-05-11Deplacement des infos de format des .cmo et .cma dans Cmo_formatXavier Leroy
2004-11-29new warning for black holesJacques Garrigue
2004-07-13Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy
2004-05-09Probleme dans #untrace_all en cas de fonction redefinie (PR#1936)Xavier Leroy
2003-12-31depollution suite (PR#1914, PR#1956)Damien Doligez
2002-11-18Refait marcher #trace sur les fonctions mutuellement recursives (PR#1346)Xavier Leroy
2002-11-17- Revu en profondeur la verification des CRC d'interfaces.Xavier Leroy
2002-06-19add #principal directiveJacques Garrigue
2002-02-09La directive #trace ne marchait plus paskeu le test du tag closure étaitDaniel de Rauglaudre
2002-02-08add object loading from command-lineJacques Garrigue
2001-10-30Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ...Xavier Leroy
2001-08-28Chargement dynamique de primitives CXavier Leroy
2001-07-03Support user-defined printers taking a formatter as first argumentXavier Leroy
2001-04-19enforce uniqueness of typing in label modeJacques Garrigue
2001-02-12Tracage d'une fonction utilisee par le toplevel (PR#283)Jacques Garrigue
2000-12-28deplace expand_directory dans Misc, pour generaliser -I +packageJacques Garrigue
2000-11-07Re-faire marcher la trace (PR#213)Xavier Leroy
2000-08-23option -warn-error, directive #warn_errorDamien Doligez
2000-04-10Envoyer les sorties du toplevel sur stdout, pas stderrXavier Leroy
2000-03-27Revu la verification de coherence lors de #load (pour accepter le cas ou le ....Xavier Leroy
2000-03-27Adaptation de #load au nouveau format de .cmaXavier Leroy
2000-03-26Verification de coherence .cmo/.cmi dans #loadXavier Leroy
2000-03-25Meilleure impression des exceptionsXavier Leroy
2000-03-24re-renommange: "-label" -> "-labels"Damien Doligez
2000-03-20"modern" -> "label" suite (et fin ?)Damien Doligez
2000-03-06Revu les impressions du compilateurPierre Weis
1999-12-03add directives #modern and #warningsJacques Garrigue
1999-11-30Merge olabl branchJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1999-11-08Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy
1999-02-24Ajout de Pervasives.ignore. List.remove -> List.remove_ass*Xavier Leroy
1998-11-12Éviction des alertes des séquences: ajout de fonctions rendant unit ouPierre Weis
1998-09-07MAJ de la trace vis-a-vis du nouveau format de fermeturesXavier Leroy
1997-07-03Ajout de .ocamlinit et des scriptsXavier Leroy
1997-03-22Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon
1997-03-20Bug de #trace (affichage incorrect des arguments).Jérôme Vouillon
1997-02-03Ajout lien vers Location.input_nameDaniel de Rauglaudre
1996-10-02init_def manquant...Jérôme Vouillon
1996-10-01Correction d'un bug d'install_printer (type mal construit).Jérôme Vouillon
1996-09-23Ajout de Types en plus de Typedtree.Xavier Leroy
1996-09-10Expanser les abreviations dans le type d'une fonction tracee (au casXavier Leroy
1996-05-30Ajout de print_warning dans topdirs.Daniel de Rauglaudre
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-29 15:40:09 +0000