Build failure for Isabelle 2016

fu-dietersheim / isabelle-lol

Isabelle/Lower Order Logic

GNU Lesser General Public License v3.0

0 stars 0 forks source link

Open jcaesar opened 8 years ago

jcaesar commented 8 years ago

@larsrh The eisbachification breaks with Isabelle 2016.

larsrh commented 8 years ago

Pull requests welcome.

diekmann commented 8 years ago

I guess it breaks since 2b9bdb5279105ab4db6d1646cecdac6869cc27b5 Maybe we should ask @larsrh to fix?

larsrh commented 8 years ago

Der nächste freie @larsrh ist für Sie reserviert. Ihr Bugreport ist uns sehr wichtig, bitte bleiben Sie in der Leitung.

Profpatsch commented 8 years ago

My whole company depends on this feature. If we don’t patch ASAP, at least 10,000 minions will lose their jobs soon-ish.

Leonidas-from-XIV commented 8 years ago

@duk3luk3 pls fix.