Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | Testing byterun with CompCert and finding minor issues: | Xavier Leroy | 2011-09-07 | 1 | -1/+1 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 1 | -1/+1 |
* | decontamination (PR#1914, PR#1956) | Damien Doligez | 2003-12-15 | 1 | -0/+5 |
* | Software emulation of 64-bit integers if needed. Use safe division for int32... | Xavier Leroy | 2002-05-25 | 1 | -0/+102 |