Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build failure for Isabelle 2016 #1

Open
jcaesar opened this issue Aug 25, 2016 · 5 comments
Open

Build failure for Isabelle 2016 #1

jcaesar opened this issue Aug 25, 2016 · 5 comments
Labels
bug duplicate enhancement help wanted invalid question
Milestone
42

Comments

@jcaesar
Copy link

jcaesar commented Aug 25, 2016

@larsrh The eisbachification breaks with Isabelle 2016.
@larsrh
Copy link
Member

larsrh commented Aug 25, 2016

Pull requests welcome.

@diekmann
Copy link
Contributor

diekmann commented Sep 2, 2016

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

@diekmann diekmann added this to the 42 milestone Sep 2, 2016
@larsrh
Copy link
Member

larsrh commented Sep 2, 2016

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

@Profpatsch
Copy link

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
Copy link
Member

@duk3luk3 pls fix.

@diekmann diekmann assigned diekmann and unassigned diekmann Sep 3, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug duplicate enhancement help wanted invalid question
Projects
None yet
Milestone
42
Development

No branches or pull requests
5 participants
@Leonidas-from-XIV @larsrh @diekmann @jcaesar @Profpatsch