| Thu, 04 Apr 2013 12:06:23 +0200 | wenzelm | added var_position in analogy to longid_position, for typing reports on input; | changeset | files |
| Thu, 04 Apr 2013 10:30:28 +0200 | nipkow | removed unnerving (esp in jedit) and pointless warning | changeset | files |
| Thu, 04 Apr 2013 08:10:20 +0200 | nipkow | tuned | changeset | files |
| Wed, 03 Apr 2013 22:31:05 +0200 | wenzelm | merged | changeset | files |
| Wed, 03 Apr 2013 22:30:25 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Apr 2013 22:05:24 +0200 | wenzelm | recover implicit thread position for status messages (cf. eca8acb42e4a); | changeset | files |
| Wed, 03 Apr 2013 21:48:43 +0200 | wenzelm | additional timing status for implicitly forked terminal proofs -- proper accounting for interactive Timing dockable etc.; | changeset | files |