| Sat, 05 Nov 2016 15:07:11 +0100 | wenzelm | documentation of @{undefined} (actually introduced in Isabelle2016); | changeset | files |
| Sat, 05 Nov 2016 14:48:31 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 05 Nov 2016 14:35:40 +0100 | wenzelm | Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f); | changeset | files |