| Sun, 10 Jul 2011 14:02:27 +0200 | bulwahn | improved NEWS | changeset | files |
| Sat, 09 Jul 2011 21:18:20 +0200 | bulwahn | NEWS | changeset | files |
| Sat, 09 Jul 2011 21:09:09 +0200 | bulwahn | standardized String.concat towards implode (cf. c37a1f29bbc0) | changeset | files |
| Sat, 09 Jul 2011 19:29:25 +0200 | bulwahn | adding quickcheck examples for evaluating floor and ceiling functions | changeset | files |
| Sat, 09 Jul 2011 19:28:33 +0200 | bulwahn | adding code equations to execute floor and ceiling on rational and real numbers | changeset | files |
| Sat, 09 Jul 2011 13:41:58 +0200 | bulwahn | adding a floor_ceiling type class for different instantiations of floor (changeset from Brian Huffman) | changeset | files |
| Sun, 10 Jul 2011 20:59:04 +0200 | wenzelm | inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); | changeset | files |
| Sun, 10 Jul 2011 17:58:11 +0200 | wenzelm | lambda terms with XML data representation in Scala; | changeset | files |