Mon, 11 Aug 2014 22:59:38 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 11 Aug 2014 22:46:27 +0200 | wenzelm | clarified Command_Span in accordance to Scala (see also c2c1e5944536); | changeset | files |
Mon, 11 Aug 2014 22:43:26 +0200 | wenzelm | tuned output, in accordance to transaction name in ML; | changeset | files |