summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
4.02Changes for 1330David Allsopp3 years
4.03Changes for 1330David Allsopp3 years
4.04Changes for 1330David Allsopp3 years
4.05Changes for 1330David Allsopp3 years
4.10ChangesGabriel Scherer3 years
4.13Merge pull request #11860 from Octachron/index_for_stdlibGabriel Scherer3 years
4.14Allow installing in folder with space in name (#11590)David Allsopp3 years
5.0suppress spurious alert when compiling stdlib documentationDamien Doligez2 years
5.1Merge pull request #12131 from NickBarnes/nick-get-copyGabriel Scherer2 years
trunkInstruction scheduling: do not reorder atomic loads (#12248)Xavier Leroy2 years
[...]
 
TagDownloadAuthorAge
5.1.0-alpha1ocaml-5.1.0-alpha1.tar.gz  Florian Angeletti2 years
4.14.1ocaml-4.14.1.tar.gz  Florian Angeletti3 years
5.0.0ocaml-5.0.0.tar.gz  Florian Angeletti3 years
4.14.1-rc1ocaml-4.14.1-rc1.tar.gz  Florian Angeletti3 years
5.0.0-rc1ocaml-5.0.0-rc1.tar.gz  Florian Angeletti3 years
5.0.0-beta2ocaml-5.0.0-beta2.tar.gz  Florian Angeletti3 years
5.0.0-beta1ocaml-5.0.0-beta1.tar.gz  Florian Angeletti3 years
5.0.0-alpha1ocaml-5.0.0-alpha1.tar.gz  Florian Angeletti3 years
5.0.0-alpha0ocaml-5.0.0-alpha0.tar.gz  Florian Angeletti3 years
4.14.0ocaml-4.14.0.tar.gz  Florian Angeletti3 years
[...]
 
AgeCommit messageAuthorFilesLines
2001-10-12This commit was manufactured by cvs2svn to create tag3.03-alphaNo author1-0/+0
2001-10-12This commit was manufactured by cvs2svn to create branch 'jocamltrunk'.No author1-1/+0
2001-10-12open_channel_in/outXavier Leroy1-2/+2
2001-10-12Supprimer -customXavier Leroy1-2/+2
2001-10-12Typo out_channels_listXavier Leroy1-1/+1
2001-10-12MAJXavier Leroy1-2/+7
2001-10-12TyposXavier Leroy1-2/+2
2001-10-11-Daniel de Rauglaudre1-5/+10
2001-10-11Version 3.03 ALPHAXavier Leroy2-1/+1
2001-10-11Suppression -make-runtime, -use-runtimeXavier Leroy1-8/+8
[...]
 
Clone
git://git.baserock.org/delta/ocaml.git
http://git.baserock.org/git/delta/ocaml.git
https://git.baserock.org/git/delta/ocaml.git
View Lorry Controller Status