Fri, 24 Apr 2009 17:45:15 +0200 | haftmann | funpow and relpow with shared "^^" syntax | changeset | files |
Fri, 24 Apr 2009 08:24:54 +0200 | haftmann | generic postprocessing scheme for term evaluations | changeset | files |
Fri, 24 Apr 2009 08:24:52 +0200 | haftmann | added helpless comment | changeset | files |