index
:
adrien/ocaml
mantis-6773-separate-build-of-ocamldoc-ocamlbuild-ocamldebug-v2
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
otherlibs
/
labltk
Age
Commit message (
Expand
)
Author
2000-04-24
be safe
Jacques Garrigue
2000-04-21
make it transparent
Jacques Garrigue
2000-04-20
do not propose to cancel when you cannot do it
Jacques Garrigue
2000-04-19
handle product in converterCAMLtoTK
Jacques Garrigue
2000-04-17
Utiliser les includes de ../../../byterun, pas ceux de /usr/local/lib/ocaml/c...
Xavier Leroy
2000-04-17
Erreurs de syntaxe. Ce fichier sert-il a quelque chose?
Xavier Leroy
2000-04-17
automatic -L
Jacques Garrigue
2000-04-16
Suppression options -L inutiles
Xavier Leroy
2000-04-16
types produits
Jacques Garrigue
2000-04-14
Ordre des parametres plus naturel
Jacques Garrigue
2000-04-14
Add recursive types
Jacques Garrigue
2000-04-14
pas de Makefile.nt dans examples
Jacques Garrigue
2000-04-14
pas de -L sur NT
Jacques Garrigue
2000-04-14
tk41.cma -> labltk.cma
Jacques Garrigue
2000-04-13
-labels
Jacques Garrigue
2000-04-13
ignore executables
Jacques Garrigue
2000-04-13
suppress canvas: label
Jacques Garrigue
2000-04-12
meilleurs labels
Jacques Garrigue
2000-04-12
tilde syntax
Jacques Garrigue
2000-04-12
nouvelle syntaxe avec tilde
Jacques Garrigue
2000-04-05
MacOS: ajout macosunix; portage bigarray et systhreads; tabs
Damien Doligez
2000-04-04
utilise -ccopt plutot que -cclib
Jacques Garrigue
2000-04-03
change Canvas, pour des labels/ordre plus naturels
Jacques Garrigue
2000-04-03
ajout de -cclib -L$(LABLTKDIR) dans les scripts
Jacques Garrigue
2000-04-03
passage aux labels legers
Jacques Garrigue
2000-03-29
erreur de commit
Jacques Garrigue
2000-03-28
adapte aux labels legers
Jacques Garrigue
2000-03-24
re-renommange: "-label" -> "-labels"
Damien Doligez
2000-03-21
Revu la gestion des records de flottants
Xavier Leroy
2000-03-20
"modern" -> "label" suite (et fin ?)
Damien Doligez
2000-03-17
changement "modern" -> "label"
Damien Doligez
2000-03-17
nouveau changement de couleurs
Jacques Garrigue
2000-03-16
MAJ portage Win32
Xavier Leroy
2000-03-15
sorry for the tabs
Jacques Garrigue
2000-03-15
better printing and colorizing
Jacques Garrigue
2000-03-15
warning and error report
Jacques Garrigue
2000-03-13
Flags de compilation pour la version opt.
Pierre Weis
2000-03-12
Revision Makefiles de labltk pour adaptation aux nouveaux .cma avec libs C in...
Xavier Leroy
2000-03-12
Ajout du renommage d'exceptions
Xavier Leroy
2000-03-06
Revu les impressions du compilateur
Pierre Weis
2000-03-03
add -modern and -w options
Jacques Garrigue
2000-02-26
ajout du label size: pour Hashtbl.create et Buffer.create
Jacques Garrigue
2000-02-24
add #variant patterns
Jacques Garrigue
2000-02-22
ajout de printer.ml
Jacques Garrigue
2000-02-17
cosmetique pour comprendre
Pierre Weis
2000-02-17
Détection des cas dupliqué dans les filtrages d'options (évite les
Pierre Weis
2000-02-17
Introduction de l'imprimeur.
Pierre Weis
2000-02-17
Un imprimeur des valeurs manipulées par le compilateur (histoire de
Pierre Weis
2000-02-16
Simplification du compilateur de widget (pas de cas particulier pour le
Pierre Weis
2000-02-16
installopt
Jacques Garrigue
[prev]
[next]