| Tue, 24 Jul 2007 15:29:57 +0200 | ballarin | Interpretation of rings (as integers) maps defined operations to defined | changeset | files |
| Tue, 24 Jul 2007 15:21:54 +0200 | haftmann | updated | changeset | files |
| Tue, 24 Jul 2007 15:20:53 +0200 | haftmann | added compile_term interface | changeset | files |
| Tue, 24 Jul 2007 15:20:52 +0200 | haftmann | swapped class projection order | changeset | files |
| Tue, 24 Jul 2007 15:20:51 +0200 | haftmann | interpretation_in | changeset | files |
| Tue, 24 Jul 2007 15:20:50 +0200 | haftmann | tuned | changeset | files |
| Tue, 24 Jul 2007 15:20:49 +0200 | haftmann | renamed lcm_lowest to lcm_least | changeset | files |
| Tue, 24 Jul 2007 15:20:48 +0200 | haftmann | dropped axclass | changeset | files |
| Tue, 24 Jul 2007 15:20:47 +0200 | haftmann | using interpretation with derived concepts | changeset | files |
| Tue, 24 Jul 2007 15:20:45 +0200 | haftmann | using class target | changeset | files |
| Mon, 23 Jul 2007 22:18:05 +0200 | wenzelm | added proper implementation of self_critical, CRITICAL; | changeset | files |
| Mon, 23 Jul 2007 22:18:03 +0200 | wenzelm | added multithreading, self_critical | changeset | files |
| Mon, 23 Jul 2007 22:18:01 +0200 | wenzelm | RAW: updated deps; | changeset | files |
| Mon, 23 Jul 2007 20:47:56 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 23 Jul 2007 20:47:55 +0200 | wenzelm | added compatibility wrapper for polyml-5.1; | changeset | files |
| Mon, 23 Jul 2007 19:45:49 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 23 Jul 2007 19:45:48 +0200 | wenzelm | avoid global reference warned''; | changeset | files |
| Mon, 23 Jul 2007 19:45:47 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 23 Jul 2007 19:45:46 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 23 Jul 2007 19:45:45 +0200 | wenzelm | depth flag: plain bool ref; | changeset | files |
| Mon, 23 Jul 2007 19:45:44 +0200 | wenzelm | eliminated transform_failure (to avoid critical section for main transactions); | changeset | files |
| Mon, 23 Jul 2007 16:45:04 +0200 | wenzelm | setmp_noncritical (assumes outermost control); | changeset | files |
| Mon, 23 Jul 2007 16:45:03 +0200 | wenzelm | PrintMode.with_modes; | changeset | files |
| Mon, 23 Jul 2007 16:45:02 +0200 | wenzelm | added with_modes, with_default; | changeset | files |
| Mon, 23 Jul 2007 16:45:01 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 23 Jul 2007 16:45:00 +0200 | wenzelm | added setmp_noncritical; | changeset | files |
| Mon, 23 Jul 2007 16:44:59 +0200 | wenzelm | PrintMode.with_default; | changeset | files |
| Mon, 23 Jul 2007 15:16:35 +0200 | haftmann | added nbe implementation heading for dictionaries | changeset | files |
| Mon, 23 Jul 2007 15:04:56 +0200 | berghofe | Tuned. | changeset | files |
| Mon, 23 Jul 2007 14:39:21 +0200 | berghofe | Protected underscore in inductive_set. | changeset | files |