Re: [isabelle-dev] Towards the release

[Manuel Eberl]

I for one am hoping to be able to get rid of the Old Number Theory
before the release. All that is left to do is actually to adapt some
theories of the ported theories to my recent changes concerning prime
numbers, so I think I should be able to take care of that next week.

Cheers,

Manuel


On 12/10/16 11:36, Makarius wrote:
> After the public appearance of Isabelle2016-1-RC0 some days ago, we are
> still in consolidation mode for the Isabelle repository -- lets say at
> least 2 more weeks.
> 
> Isabelle2016-1-RC1 will still be based on the isabelle-dev repository,
> to simplify immediate reactions on suggestions and observations by testers.
> 
> The repository fork to isabelle-release will happen after RC1.
> 
> 
> I am presently still stuck updating the Admin area.
> 
> Are there any non-trivial chunks still in the commit/push pipeline that
> need special considerations?
> 
> 
>   Makarius
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Haskabelle

[Makarius]

What is the maintenance status of Haskabelle?

There is still at least one open point concerning the new "isabelle
process" wrapper and discontinuation of the old $ISABELLE_PROCESS.

See also


http://isabelle.in.tum.de/repos/haskabelle/annotate/b885ee4618d8/lib/mk_adapt#l57
  http://isabelle.in.tum.de/repos/isabelle/rev/cd266473b81b


Is there a deeper reason, why Haskabelle is not part of the main
Isabelle repository? Things outside of that tend to fall into decay.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev