summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk
AgeCommit message (Expand)Author
2000-04-24be safeJacques Garrigue
2000-04-21make it transparentJacques Garrigue
2000-04-20do not propose to cancel when you cannot do itJacques Garrigue
2000-04-19handle product in converterCAMLtoTKJacques Garrigue
2000-04-17Utiliser les includes de ../../../byterun, pas ceux de /usr/local/lib/ocaml/c...Xavier Leroy
2000-04-17Erreurs de syntaxe. Ce fichier sert-il a quelque chose?Xavier Leroy
2000-04-17automatic -LJacques Garrigue
2000-04-16Suppression options -L inutilesXavier Leroy
2000-04-16types produitsJacques Garrigue
2000-04-14Ordre des parametres plus naturelJacques Garrigue
2000-04-14Add recursive typesJacques Garrigue
2000-04-14pas de Makefile.nt dans examplesJacques Garrigue
2000-04-14pas de -L sur NTJacques Garrigue
2000-04-14tk41.cma -> labltk.cmaJacques Garrigue
2000-04-13-labelsJacques Garrigue
2000-04-13ignore executablesJacques Garrigue
2000-04-13suppress canvas: labelJacques Garrigue
2000-04-12meilleurs labelsJacques Garrigue
2000-04-12tilde syntaxJacques Garrigue
2000-04-12nouvelle syntaxe avec tildeJacques Garrigue
2000-04-05MacOS: ajout macosunix; portage bigarray et systhreads; tabsDamien Doligez
2000-04-04utilise -ccopt plutot que -cclibJacques Garrigue
2000-04-03change Canvas, pour des labels/ordre plus naturelsJacques Garrigue
2000-04-03ajout de -cclib -L$(LABLTKDIR) dans les scriptsJacques Garrigue
2000-04-03passage aux labels legersJacques Garrigue
2000-03-29erreur de commitJacques Garrigue
2000-03-28adapte aux labels legersJacques Garrigue
2000-03-24re-renommange: "-label" -> "-labels"Damien Doligez
2000-03-21Revu la gestion des records de flottantsXavier Leroy
2000-03-20"modern" -> "label" suite (et fin ?)Damien Doligez
2000-03-17changement "modern" -> "label"Damien Doligez
2000-03-17nouveau changement de couleursJacques Garrigue
2000-03-16MAJ portage Win32Xavier Leroy
2000-03-15sorry for the tabsJacques Garrigue
2000-03-15better printing and colorizingJacques Garrigue
2000-03-15warning and error reportJacques Garrigue
2000-03-13Flags de compilation pour la version opt.Pierre Weis
2000-03-12Revision Makefiles de labltk pour adaptation aux nouveaux .cma avec libs C in...Xavier Leroy
2000-03-12Ajout du renommage d'exceptionsXavier Leroy
2000-03-06Revu les impressions du compilateurPierre Weis
2000-03-03add -modern and -w optionsJacques Garrigue
2000-02-26ajout du label size: pour Hashtbl.create et Buffer.createJacques Garrigue
2000-02-24add #variant patternsJacques Garrigue
2000-02-22ajout de printer.mlJacques Garrigue
2000-02-17cosmetique pour comprendrePierre Weis
2000-02-17Détection des cas dupliqué dans les filtrages d'options (évite lesPierre Weis
2000-02-17Introduction de l'imprimeur.Pierre Weis
2000-02-17Un imprimeur des valeurs manipulées par le compilateur (histoire dePierre Weis
2000-02-16Simplification du compilateur de widget (pas de cas particulier pour lePierre Weis
2000-02-16installoptJacques Garrigue