| Wed, 08 Jan 2014 12:05:42 +0100 | kuncar | ensure that the raw type of an abstract type cannot be treated as an abstract type recursively | changeset | files |
| Wed, 08 Jan 2014 09:20:14 +0100 | nipkow | tuned | changeset | files |
| Tue, 07 Jan 2014 23:55:51 +0100 | wenzelm | avoid hard tabs in output -- somewhat ill-defined; | changeset | files |
| Tue, 07 Jan 2014 23:44:33 +0100 | wenzelm | uniform output of tracing via official channel (usually depending on trace flag); | changeset | files |
| Tue, 07 Jan 2014 12:05:49 +0100 | nipkow | tuned | changeset | files |
| Mon, 06 Jan 2014 23:00:11 +0100 | wenzelm | merged | changeset | files |
| Mon, 06 Jan 2014 19:59:43 +0100 | wenzelm | more informative error message; | changeset | files |