| Wed, 02 Apr 2014 20:41:44 +0200 | wenzelm | tuned signature -- more explicit iterator terminology; | changeset | files |
| Wed, 02 Apr 2014 20:22:12 +0200 | wenzelm | more explicit iterator terminology, in accordance to Scala 2.8 library; | changeset | files |
| Wed, 02 Apr 2014 18:35:07 +0200 | hoelzl | extend continuous_intros; remove continuous_on_intros and isCont_intros | changeset | files |