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 |