| Fri, 04 Nov 2016 13:27:31 +0100 | wenzelm | back to stable scala-2.11.8; | changeset | files |
| Fri, 04 Nov 2016 11:37:24 +0100 | wenzelm | self_update of components, e.g. for vmnipkow9; | changeset | files |
| Thu, 03 Nov 2016 17:51:10 +0100 | wenzelm | updated to scala-2.12.0; | changeset | files |
| Thu, 03 Nov 2016 08:10:56 +0100 | nipkow | tuned | changeset | files |
| Wed, 02 Nov 2016 11:06:40 +0100 | wenzelm | more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer'); | changeset | files |
| Tue, 01 Nov 2016 21:07:13 +0100 | wenzelm | extra newline as for other tools; | changeset | files |