summaryrefslogtreecommitdiff
path: root/typing/includeclass.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove blank line to improve readability.alainfrisch2017-05-151-1/+0
* Class declarations create a class type declaration in signature: no need to c...alainfrisch2017-05-091-8/+1
* Support for deprecated class/class types.alainfrisch2017-05-091-2/+16
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch2013-04-161-1/+1
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-20/+19
|\
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-20/+19
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
|/
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* merge changes from branching of 3.12 to release/3.12.0Damien Doligez2010-08-021-0/+6
* clean up spaces and tabsDamien Doligez2010-01-221-4/+1
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-201-3/+3
* add virtual instance variablesJacques Garrigue2006-04-051-2/+5
* Revu les impressions du compilateurPierre Weis2000-03-061-91/+50
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* Bug d'affichage des erreurs d'unificationJérôme Vouillon1998-08-151-4/+4
* Une ligne oublieeXavier Leroy1998-06-291-0/+1
* TypoJérôme Vouillon1998-06-251-4/+9
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-251-0/+138