aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2001-08-31PK: token position + minor bugspieter1-69/+56
2001-08-30bug fix in universally quantified typessjakie1-1/+2
2001-08-30restoring old mainmartijnv1-6/+2
2001-08-30added switch_dynamics in module compilerSwitches. Standard dynamics aremartijnv3-1/+16
2001-08-29This commit was generated by cvs2svn to compensate for changes in r695,zweije8-50/+78
2001-08-29This commit was generated by cvs2svn to compensate for changes in r693,zweije1-0/+3
2001-08-29This commit was generated by cvs2svn to compensate for changes in r690,zweije3-7/+10
2001-08-29This commit was generated by cvs2svn to compensate for changes in r688,zweije1-1/+1
2001-08-29This commit was generated by cvs2svn to compensate for changes in r686,zweije20-81/+337
2001-08-29This commit was generated by cvs2svn to compensate for changes in r683,zweije1-1/+1
2001-08-28bug fix: count of let bindings was wrong which caused convertcases to crashmartijnv1-1/+2
2001-08-28renamed list,tuple,array and string types as in predef.icljohnvg1-6/+6
2001-08-28Universally quantified types addedsjakie1-8/+15
2001-08-28changed StdDynamics into StdDynamicmartijnv1-1/+1
2001-08-28universally quantified types addedsjakie3-15/+38
2001-08-27universally quantified types addedsjakie3-5/+5
2001-08-27Universally quantified types addedsjakie2-2/+4
2001-08-27Universally quantified types addedsjakie11-416/+717
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv12-122/+287
2001-08-20This commit was generated by cvs2svn to compensate for changes in r664,zweije3-57/+40
2001-08-20This commit was generated by cvs2svn to compensate for changes in r662,zweije3-9/+9
2001-08-20This commit was generated by cvs2svn to compensate for changes in r660,zweije2-0/+6
2001-08-17This commit was generated by cvs2svn to compensate for changes in r656,zweije2-2/+2
2001-08-17This commit was generated by cvs2svn to compensate for changes in r654,zweije3-2/+6
2001-08-17This commit was generated by cvs2svn to compensate for changes in r652,zweije2-0/+8
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ...sjakie2-108/+147
2001-08-14This commit was generated by cvs2svn to compensate for changes in r646,zweije1-28/+53
2001-08-14This commit was generated by cvs2svn to compensate for changes in r644,zweije2-0/+6
2001-08-14This commit was generated by cvs2svn to compensate for changes in r642,zweije2-7/+7
2001-08-14This commit was generated by cvs2svn to compensate for changes in r640,zweije2-6/+11
2001-08-14This commit was generated by cvs2svn to compensate for changes in r638,zweije1-137/+0
2001-08-14This commit was generated by cvs2svn to compensate for changes in r636,zweije1-10/+13
2001-08-14This commit was generated by cvs2svn to compensate for changes in r634,zweije1-11/+18
2001-08-14This commit was generated by cvs2svn to compensate for changes in r632,zweije1-18/+18
2001-08-14This commit was generated by cvs2svn to compensate for changes in r630,zweije11-318/+172
2001-08-14This commit was generated by cvs2svn to compensate for changes in r628,zweije2-0/+7
2001-08-14This commit was generated by cvs2svn to compensate for changes in r626,zweije1-26/+0
2001-08-14This commit was generated by cvs2svn to compensate for changes in r624,zweije1-5/+5
2001-08-13This commit was generated by cvs2svn to compensate for changes in r622,zweije3-169/+272
2001-08-13This commit was generated by cvs2svn to compensate for changes in r620,zweije3-9/+14
2001-08-13This commit was generated by cvs2svn to compensate for changes in r618,zweije2-14/+12
2001-08-13This commit was generated by cvs2svn to compensate for changes in r616,zweije12-32/+184
2001-08-10This commit was generated by cvs2svn to compensate for changes in r614,zweije1-0/+28
2001-08-10This commit was generated by cvs2svn to compensate for changes in r612,zweije1-0/+5
2001-08-10This commit was generated by cvs2svn to compensate for changes in r610,zweije1-5/+103
2001-08-10This commit was generated by cvs2svn to compensate for changes in r607,zweije2-15/+27
2001-08-10This commit was generated by cvs2svn to compensate for changes in r605,zweije2-2/+2
2001-08-10This commit was generated by cvs2svn to compensate for changes in r603,zweije2-34/+37
2001-08-10This commit was generated by cvs2svn to compensate for changes in r601,zweije2-0/+10
2001-08-09This commit was generated by cvs2svn to compensate for changes in r599,zweije10-23/+260