summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
* [ocamlheader] -> [camlheader]Damien Doligez1996-10-101-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-304-3/+3
* Modif options -pp, -linkall. Diverses autres petites choses.Xavier Leroy1996-04-292-0/+0
* Extension objets.Jérôme Vouillon1996-04-222-0/+0
* Ajout option -linkall dans les .cmo et .cma.Xavier Leroy1996-04-182-0/+0
* Compilation du pattern-matching revue (orpats, matchings avec entiersXavier Leroy1996-04-042-0/+0
* Nouveau format d'output_value.Xavier Leroy1996-04-012-0/+0
* Modif de l'initialisation du toplevel (pour Coq).Xavier Leroy1996-03-201-0/+0
* Bug de cslopt quand un meme identificateur est exporte plusieurs foisXavier Leroy1996-03-151-0/+0
* Ajout des instructions negf et absf (negation flottante, valeurXavier Leroy1996-03-071-0/+0
* Bootstrap.Xavier Leroy1996-01-112-0/+0
* On permet match C(x,y) with C _ -> ...Xavier Leroy1996-01-042-0/+0
* Pour afficher les locations interactivement: toujours revenir en mode normal ...Xavier Leroy1995-11-291-0/+0
* Mauvaise constante dans Random.intXavier Leroy1995-11-261-0/+0
* Bootstrap.Xavier Leroy1995-11-061-0/+0
* MAJ fichiers .cvsignore apres renommage des compilos de bootstrapXavier Leroy1995-11-021-2/+2
* Renommage des compilateurs de bootstrapXavier Leroy1995-11-022-0/+0
* Changement gestion des variables 'a dans les contraintes de types:Xavier Leroy1995-10-311-0/+0
* Bootstrap.Xavier Leroy1995-10-301-0/+0
* Traitement abbrevs non recursives, ...Xavier Leroy1995-10-031-0/+0
* Bootstrap.Xavier Leroy1995-09-202-0/+0
* Modif de la construction de Pervasive.min_intXavier Leroy1995-09-112-0/+0
* MAJ des fichiers .cvsignoreXavier Leroy1995-08-291-0/+4