Re: [isabelle-dev] Problems building Isabelle/Scala

On 06/04/2019 13:46, Traytel Dmitriy wrote: > >> On 05/04/2019 17:30, Traytel Dmitriy wrote: >>> >>> I have the same problem as Jasmin (on a MacBook Pro running macOS 10.14.3). Here you could update to current 10.14.4 -- it was my version for testing. There is some (low) chance that the

Re: [isabelle-dev] Problems building Isabelle/Scala

On 06/04/2019 14:04, Lars Hupel wrote: > > Scala 2.13.0-RC1 has just been released: > > > > Maybe Makarius could package this as an Isabelle component already. > > Scala 2.13.1 is currently slated for June 15, but

Re: [isabelle-dev] Redefinition of group.ord in 042ae6ca2c40

I did this, incorporating the HOL Light definition. The purpose of old_ord is simply to ease the transition. I’m hoping to get rid of it soon. Algebra needs a huge amount of tidying up. In particular, we have both comm_group and abelian_group, but the latter is about rings! Larry > On 6 Apr

[isabelle-dev] Redefinition of group.ord in 042ae6ca2c40

Hello, I see that the definition of the order of a group element was re-defined in 042ae6ca2c40. This change is good; something like that has been on my to-do list. But: if we are changing it now, we should also think about what to return for elements that have infinite order. At the moment, this

Re: [isabelle-dev] Problems building Isabelle/Scala

> Instead of bisect, I took an educated guess after looking at the file history > of Admin/components/main. So the first bad commit for me is b578749daa62 > (which introduces scala 2.12.8). With its parent isabelle jedit -bf works. > > Funnily, my operating system installation of scala is

Re: [isabelle-dev] Problems building Isabelle/Scala

> On 5 Apr 2019, at 21:43, Makarius wrote: > > On 05/04/2019 17:30, Traytel Dmitriy wrote: >> >> I have the same problem as Jasmin (on a MacBook Pro running macOS 10.14.3). >> >> I can build Isabelle2018 (also from the repository via hg update -r >> Isabelle2018). >> >> Stack Trace >> main