| Mon, 03 Mar 2014 03:13:45 +0100 | wenzelm | no extend_word for now, it is in conflict with manual reformatting of sources via TAB (e.g. accidental replacement of 'assume' by 'assumes'); | changeset | files |
| Sun, 02 Mar 2014 22:43:20 +0100 | wenzelm | merged | changeset | files |
| Sun, 02 Mar 2014 22:39:34 +0100 | wenzelm | more standard module name; | changeset | files |