| Tue, 08 Apr 2014 10:24:42 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 08 Apr 2014 09:48:38 +0200 | wenzelm | ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing; | changeset | files |
| Tue, 08 Apr 2014 09:45:13 +0200 | wenzelm | no report for position singularity, notably for aux. file, especially empty one; | changeset | files |