| Mon, 03 Mar 2014 12:54:12 +0100 | wenzelm | tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor); | changeset | files |
| Mon, 03 Mar 2014 12:24:14 +0100 | wenzelm | recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one); | changeset | files |
| Mon, 03 Mar 2014 12:18:59 +0100 | wenzelm | tuned messages and markup; | changeset | files |