| Fri, 17 Apr 2009 15:57:26 +0200 |
haftmann |
separated funpow, relpow from power on monoids
|
changeset |
files
|
| Fri, 17 Apr 2009 15:14:06 +0200 |
haftmann |
static compilation of enumeration type
|
changeset |
files
|
| Fri, 17 Apr 2009 14:29:56 +0200 |
haftmann |
re-engineering of evaluation conversions
|
changeset |
files
|
| Fri, 17 Apr 2009 14:29:55 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 17 Apr 2009 14:29:54 +0200 |
haftmann |
separate channel for Quickcheck evaluations
|
changeset |
files
|
| Fri, 17 Apr 2009 08:36:18 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 17 Apr 2009 08:35:23 +0200 |
haftmann |
zmod_zmult_zmult1 now subsumed by mod_mult_mult1
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:54 +0200 |
haftmann |
diagnostic commands now in code_thingol; tuned code of funny continuations
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:53 +0200 |
haftmann |
simplified code
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:52 +0200 |
haftmann |
zmod_zmult_zmult1 now subsumed by mod_mult_mult1
|
changeset |
files
|
| Fri, 17 Apr 2009 08:34:51 +0200 |
haftmann |
added both cancel_div_mod_procs
|
changeset |
files
|
| Thu, 16 Apr 2009 14:10:58 +0200 |
haftmann |
wellsortedness is no issue for a user manual any more
|
changeset |
files
|