Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | added shell command for user | Basile Starynkevitch | 2003-10-29 | 1 | -0/+8 | |
* | cannot List.assoc on label_description | Jacques Garrigue | 2003-10-28 | 1 | -2/+3 | |
* | Suite à la remarque de Didier. | Pierre Weis | 2003-10-27 | 1 | -2/+2 | |
* | Need to bootstrap => Sub-version++ | Pierre Weis | 2003-10-27 | 1 | -1/+1 | |
* | To answer a relevant question asked on the mailing list, introduction | Pierre Weis | 2003-10-27 | 2 | -10/+22 | |
* | Typo dans BngSub3 | Xavier Leroy | 2003-10-27 | 1 | -1/+1 | |
* | Scanning char ranges was far too inefficient (due to repetitive | Pierre Weis | 2003-10-27 | 1 | -29/+147 | |
* | Typo dans sse2_mult_sub | Xavier Leroy | 2003-10-26 | 1 | -2/+2 | |
* | Nettoyages | Xavier Leroy | 2003-10-26 | 1 | -41/+40 | |
* | MAJ | Xavier Leroy | 2003-10-26 | 1 | -7/+7 | |
* | Remplacement de la couche basse BigNum | Xavier Leroy | 2003-10-24 | 55 | -16523/+2119 | |
* | Issue with double alignment detection on HPPA/Linux when kernel alignment fix... | Xavier Leroy | 2003-10-21 | 1 | -2/+3 | |
* | Doc plus complete de mktime (PR#1882) | Xavier Leroy | 2003-10-21 | 1 | -4/+7 | |
* | commentaires | Didier Rémy | 2003-10-21 | 1 | -4/+16 | |
* | Retrait des messages de debugging... | Didier Rémy | 2003-10-20 | 1 | -3/+1 | |
* | caml-types: | Didier Rémy | 2003-10-20 | 4 | -64/+159 | |
* | fix bad display of type parameters for class and class types | Maxence Guesdon | 2003-10-17 | 9 | -20/+87 | |
* | PR#1878 | Damien Doligez | 2003-10-16 | 10 | -30/+77 | |
* | Documentation | Pierre Weis | 2003-10-16 | 1 | -8/+11 | |
* | foo | Damien Doligez | 2003-10-16 | 1 | -0/+1 | |
* | meilleure doc de la fonction de comparaison | Damien Doligez | 2003-10-16 | 2 | -4/+6 | |
* | typo | Basile Starynkevitch | 2003-10-15 | 1 | -4/+4 | |
* | added explanation about scanning indications. | Basile Starynkevitch | 2003-10-15 | 1 | -1/+8 | |
* | MAJ version | Xavier Leroy | 2003-10-13 | 3 | -1/+1 | |
* | petits bugs | Damien Doligez | 2003-10-11 | 1 | -12/+13 | |
* | caml-types: mouse track + little things | Didier Rémy | 2003-10-10 | 5 | -53/+84 | |
* | PR#1871 | Damien Doligez | 2003-10-10 | 1 | -16/+18 | |
* | Doc typo | Pierre Weis | 2003-10-08 | 1 | -1/+1 | |
* | Typo. | Pierre Weis | 2003-10-08 | 1 | -1/+1 | |
* | Mauvaise compilation du module rec (PR#1863) | Xavier Leroy | 2003-10-03 | 1 | -1/+2 | |
* | MAJ version | Xavier Leroy | 2003-10-03 | 1 | -1/+1 | |
* | Fixed parsing bug of labels in pa_r (and quotations as well) | Michel Mauny | 2003-10-02 | 4 | -67/+57 | |
* | *** empty log message *** | Michel Mauny | 2003-09-30 | 2 | -7/+7 | |
* | More fixing bug #1860 | Michel Mauny | 2003-09-30 | 1 | -3/+3 | |
* | Fixed bug #1859 | Michel Mauny | 2003-09-30 | 2 | -7/+132 | |
* | Fixed bug #1860 | Michel Mauny | 2003-09-30 | 3 | -6/+6 | |
* | Pbs install Cygwin | Xavier Leroy | 2003-09-29 | 1 | -3/+3 | |
* | MAJ | Xavier Leroy | 2003-09-29 | 1 | -0/+0 | |
* | MAJ 3.07 | Xavier Leroy | 2003-09-29 | 1 | -2/+3 | |
* | MAJ Format | Xavier Leroy | 2003-09-29 | 1 | -0/+2 | |
* | Le portage Mingw a besoin de Cygwin (et non Mingw+MSYS) pour compiler | Xavier Leroy | 2003-09-29 | 1 | -11/+13 | |
* | camlp4 is part of 'The Library' and thus covered by the LGPL | Xavier Leroy | 2003-09-29 | 1 | -1/+1 | |
* | Fixed parsing of labels/type constraints (bug #1818) | Michel Mauny | 2003-09-25 | 11 | -51/+163 | |
* | Documentation. | Pierre Weis | 2003-09-25 | 1 | -3/+3 | |
* | Tags are now skipped by default in the pretty printer engine. | Pierre Weis | 2003-09-25 | 1 | -1/+3 | |
* | Compiler et installer win32caml sous Mingw aussi bien que sous Cygwin (PR#1831) | Xavier Leroy | 2003-09-25 | 1 | -4/+1 | |
* | Restreindre la detection du stack overflow a Linux, car problemes avec thread... | Xavier Leroy | 2003-09-25 | 1 | -7/+3 | |
* | Detection trop stricte des types cycliques (PR#1826) | Xavier Leroy | 2003-09-25 | 1 | -6/+6 | |
* | Doc tags desactives par defaut (PR#1849) | Xavier Leroy | 2003-09-25 | 1 | -5/+5 | |
* | Fixed basename problem (#1837;) | Michel Mauny | 2003-09-23 | 1 | -4/+4 |