[isabelle] Isabelle_17-Jan-2013 scala code export changes



Hi,

I just tested Makarius' Isabelle_17-Jan-2013 testing release [1] for Linux.
(No major problems in more than 5k Lines of Theory, mostly apply
style, some Isar)

Regarding code export for Scala, why are the case objects gone?
For example
2012: final case object One extends num
2013: final case class One() extends num

Regards
  Cornelius



[1] http://www4.in.tum.de/~wenzelm/test/Isabelle_17-Jan-2013/





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.