* Norbert Preining <preining@logic.at> [2015-06-28 10:10]: > This is and was always incorrect syntax. Thanks, I filed some bugs. > I personally have *never* seen 'here' anywhere in the code, > and I think it is a good time that this errors are fixed. I just checked and I used it in my own PhD thesis, but I cannot remember where I copied the wrong syntax. :) -- Martin Michlmayr http://www.cyrius.com/