Jacques Garrigue
|
60710728de
|
sync comments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2007-01-22 08:06:09 +00:00 |
Damien Doligez
|
0e5ca9dca5
|
nettoyage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2005-10-25 18:34:07 +00:00 |
|
Damien Doligez
|
21caeb3027
|
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-25 21:40:06 +00:00 |
|
Damien Doligez
|
bba52e7a9d
|
changement List.sort; ajout fast_sort et List.merge
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-05 12:12:47 +00:00 |
Maxence Guesdon
|
a1f70bfb1d
|
changements niveaux de titres dans les commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-28 23:13:52 +00:00 |
Xavier Leroy
|
7501784c80
|
MAJ en-tetes pour mentionner la 'special exception' sur la LGPL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-07 13:41:02 +00:00 |
|
Maxence Guesdon
|
1ae43c02ae
|
correction typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-04 21:30:02 +00:00 |
|
Maxence Guesdon
|
ef3d334d4a
|
commentaires après
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-03 22:16:03 +00:00 |
|
Maxence Guesdon
|
b95796f461
|
Modification emplacement et syntaxe commentaires pour OCamldoc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-10-26 22:38:48 +00:00 |
|
Jacques Garrigue
|
7ae26d5b11
|
remove labels from List.assoc/remove_assoc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3767 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-17 13:08:34 +00:00 |
|
Jacques Garrigue
|
ea299bbbc1
|
passage aux labels stricts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-06 08:52:32 +00:00 |