spechub/Hets — pull request #1368 by cmaeder (2014-10-09 14:17:00+00:00)
Title: adjust Hets-lib and still use Isabelle2012 dependency

@sternk I intend to make a last hets release that depends on Isabelle 2012 so that there is no conflict when packaging Isabelle 2014. I'm not sure if the version selection "(==2012)" will work, though