| Wed, 21 Dec 2016 16:02:52 +0100 | wenzelm | display messages, according to regular Isabelle Output; | changeset | files |
| Wed, 21 Dec 2016 11:55:59 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 21 Dec 2016 11:41:05 +0100 | wenzelm | clarified node_name: preserve original uri; | changeset | files |