Sun, 05 Nov 2006 09:36:25 +0100 | haftmann | added gfx | changeset | files |
Sat, 04 Nov 2006 19:25:43 +0100 | wenzelm | removed checkpoint interface; | changeset | files |
Sat, 04 Nov 2006 19:25:43 +0100 | wenzelm | String.compare: slow version -- performance test; | changeset | files |
Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | replaced apply_copy by apply'; | changeset | files |
Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | removed is_Trueprop (use can dest_Trueprop'' instead); | changeset | files |
Sat, 04 Nov 2006 19:25:40 +0100 | wenzelm | removed is_Trueprop (use can dest_Trueprop'' instead); | changeset | files |