| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | restart developpingdynamics | Jun FURUSE / 古瀬 淳 | 2002-10-01 | 5 | -56/+77 |
| * | update | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 4 | -33/+73 |
| * | core_type_with_localvars | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 3 | -27/+39 |
| * | updating | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 2 | -6/+14 |
| * | rewrite | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 2 | -108/+219 |
| * | printing dynamic modified | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 1 | -2/+12 |
| * | fix Oval_dynamic | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 2 | -34/+20 |
| * | added ?local_vars arg to transl_simple_type | Jun FURUSE / 古瀬 淳 | 2002-06-28 | 2 | -13/+35 |
| * | fix for bootstrapping with all the files | Jun FURUSE / 古瀬 淳 | 2001-12-11 | 7 | -22/+16 |
| * | coerce -> import | Jun FURUSE / 古瀬 淳 | 2001-12-07 | 11 | -87/+17 |
| * | type variable counter is now reset properly | Jun FURUSE / 古瀬 淳 | 2001-12-06 | 1 | -9/+13 |
| * | transl_type_scheme_for_dynamic is rewritten simpler using narrow and widen | Jun FURUSE / 古瀬 淳 | 2001-12-06 | 2 | -33/+10 |
| * | type scheme annotation for dynamic and coerce | Jun FURUSE / 古瀬 淳 | 2001-12-06 | 3 | -10/+28 |
| * | syntax change: "dynamic e of t end", "dynamic e end", "coerce e as t end" an... | Jun FURUSE / 古瀬 淳 | 2001-12-06 | 1 | -6/+6 |
| * | bootstrap at 05/12/01 | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 5 | -11/+43 |
| * | essai: dyn pattern | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -2/+42 |
| * | added (* DYN *) | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -6/+0 |
| * | simplif. of coerce and essai of dyn pattern | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -2/+22 |
| * | simplif. of coerce | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -2/+42 |
| * | added builtin_abstract_types | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -0/+11 |
| * | essai for dyn pattern | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -2/+66 |
| * | the content of dynamic value is no more printable | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -0/+5 |
| * | *** empty log message *** | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -0/+1 |
| * | dyn printing modified | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -7/+23 |
| * | digest print for debugging | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -41/+115 |
| * | simplif. of coerce and essai of dyn pattern | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -1/+12 |
| * | simplification of coerce | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 3 | -7/+48 |
| * | simplification of coerce and essai for dyn pattern | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -3/+17 |
| * | dynamic -> dyn | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -1/+1 |
| * | digest computation added (finaly) | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 2 | -155/+766 |
| * | essai: dyn matching | Jun FURUSE / 古瀬 淳 | 2001-12-05 | 1 | -0/+83 |
| * | dynamic values are printed as "dynamic (v : type)" | Jun FURUSE / 古瀬 淳 | 2001-11-23 | 1 | -1/+1 |
| * | printing dynamic values | Jun FURUSE / 古瀬 淳 | 2001-11-20 | 9 | -21/+94 |
| * | message | Jun FURUSE / 古瀬 淳 | 2001-11-20 | 1 | -1/+1 |
| * | first commit of dynamics | Jun FURUSE / 古瀬 淳 | 2001-11-20 | 27 | -34/+813 |
| * | This commit was manufactured by cvs2svn to create branch 'dynamics'. | No author | 2001-11-19 | 1 | -1/+0 |
| * | Bug dans l'interface fonctorielle pour add et resize | Xavier Leroy | 2001-11-19 | 1 | -2/+2 |
| * | solve PR#3 (type abbreviation hides constraints) | Jacques Garrigue | 2001-11-19 | 1 | -8/+12 |
| * | improve error messages (PR#633) | Jacques Garrigue | 2001-11-16 | 2 | -12/+18 |
| * | fix PR#632 (incorrect generalization of variants in classes) | Jacques Garrigue | 2001-11-16 | 3 | -15/+19 |
| * | - | Daniel de Rauglaudre | 2001-11-15 | 5 | -28/+33 |
| * | xemacs keybind (PR#631) | Jacques Garrigue | 2001-11-15 | 1 | -1/+3 |
| * | - | Daniel de Rauglaudre | 2001-11-15 | 1 | -1/+1 |
| * | - | Daniel de Rauglaudre | 2001-11-15 | 1 | -11/+18 |
| * | - | Daniel de Rauglaudre | 2001-11-14 | 2 | -2/+6 |
| * | Correction commentaire | Xavier Leroy | 2001-11-13 | 1 | -1/+1 |
| * | Exporter do_read pour Cash | Xavier Leroy | 2001-11-13 | 1 | -1/+1 |
| * | bug idiot et inoffensif | Luc Maranget | 2001-11-12 | 1 | -1/+1 |
| * | - | Daniel de Rauglaudre | 2001-11-09 | 6 | -19/+114 |
| * | - | Daniel de Rauglaudre | 2001-11-09 | 1 | -1/+5 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |