| Sat, 31 Aug 2013 00:40:21 +0200 | wenzelm | merged | changeset | files |
| Sat, 31 Aug 2013 00:39:59 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 30 Aug 2013 23:41:09 +0200 | wenzelm | simplified (see 7c39677f9ea0); | changeset | files |
| Fri, 30 Aug 2013 23:38:18 +0200 | wenzelm | sort items according to persistent history of frequency of use; | changeset | files |
| Fri, 30 Aug 2013 22:22:07 +0200 | wenzelm | more general backup files; | changeset | files |
| Fri, 30 Aug 2013 21:43:15 +0200 | panny | fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first) | changeset | files |
| Fri, 30 Aug 2013 21:14:38 +0200 | wenzelm | some tests on /home/polyml/polyml-svn, which is approaching polyml-5.5.1; | changeset | files |