Hi all,
I just updated Isabelle to af8ecf09a58c (from a version that was one or two
days old) and whenever I try to build HOL, I get this error:
isabelle build -c -b HOL
Fehler: Hauptklasse isabelle.Build konnte nicht gefunden oder geladen werden
0:00:00 elapsed time, 0:00:00 cpu
Am 10.01.2013 um 13:16 schrieb Jasmin Blanchette:
I just updated Isabelle to af8ecf09a58c (from a version that was one or two
days old) and whenever I try to build HOL, I get this error:
isabelle build -c -b HOL
Fehler: Hauptklasse isabelle.Build konnte nicht gefunden oder geladen
On 01/10/2013 01:25 PM, Jasmin Christian Blanchette wrote:
Am 10.01.2013 um 13:16 schrieb Jasmin Blanchette:
I just updated Isabelle to af8ecf09a58c (from a version that was one or two
days old) and whenever I try to build HOL, I get this error:
isabelle build -c -b HOL
Fehler:
In af8ecf09a58c, type constraints are no longer printed by default in JEdit:
ML {*
@{term f}
| Type.constraint @{typ nat = nat}
| Syntax.string_of_term @{context}
| writeln
*}
# f
Is this the intended behaviour? It used to be different a couple of month ago.
I don't know when it changed
Hi,
I just tried pushing some commit to the testboard (via
ssh://nosch...@lxbroy10.informatik.tu-muenchen.de//home/isabelle-repository/repos/testboard
) and it failed with:
hg push -f testboard
pushing to