| Sun, 31 Aug 2014 09:10:42 +0200 | haftmann | separated listsum material | changeset | files |
| Sun, 31 Aug 2014 09:10:41 +0200 | haftmann | restored generic value slot, retaining default behaviour and separate approximate command | changeset | files |
| Sun, 31 Aug 2014 09:10:40 +0200 | haftmann | convenient printing of (- 1 :: integer) after code evaluation | changeset | files |
| Sat, 30 Aug 2014 11:15:47 +0200 | haftmann | inlined unused definition | changeset | files |
| Fri, 29 Aug 2014 11:24:31 +0200 | hoelzl | add simp rules for divisions of numerals in floor and ceiling. | changeset | files |
| Fri, 29 Aug 2014 14:48:23 +0200 | desharna | document 'disc_transfer' | changeset | files |
| Fri, 29 Aug 2014 14:36:51 +0200 | desharna | generate 'disc_transfer' for (co)datatypes | changeset | files |