| Sat, 28 Apr 2012 07:38:22 +0200 | nipkow | renamed Semi to Seq | changeset | files |
| Fri, 27 Apr 2012 23:17:58 +0200 | wenzelm | merged | changeset | files |
| Fri, 27 Apr 2012 22:58:29 +0200 | wenzelm | prefer Context_Position.report_generic, which observes is_visible flag and thus reduces number of echos; | changeset | files |
| Fri, 27 Apr 2012 22:47:30 +0200 | wenzelm | clarified signature; | changeset | files |