Re: [isabelle-dev] Haskabelle unmaintained

2017-12-11 Thread Lawrence Paulson
Deleted from Cambridge. Larry > On 9 Dec 2017, at 12:16, Makarius wrote: > > Since the mirror rsync procedure is conservative by default, the other > mirror sites should also remove haskabelle.html manually. ___ isabelle-dev

[isabelle-dev] Haskabelle unmaintained

2017-12-09 Thread Florian Haftmann
Hi all, I see that the old Haskabelle website is still a regular part of the Isabelle website: http://isabelle.in.tum.de/haskabelle.html Since Haskabelle is no out of maintainance it is outdated and should be removed. What is the recommended procedure for this? Cheers, Florian --

Re: [isabelle-dev] Haskabelle

2016-10-28 Thread Makarius
On 13/10/16 09:52, Makarius wrote: > 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 > > >

[isabelle-dev] Haskabelle

2016-10-13 Thread 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

[isabelle-dev] Haskabelle test

2014-08-01 Thread Lars Noschinski
Hi, Is there anyone who knows how the Haskabelle test is setup and can change it so it runs not only if the Haskabelle repository changes, but also if the Isabelle repository changed? -- Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] Haskabelle test

2014-08-01 Thread Florian Haftmann
Is there anyone who knows how the Haskabelle test is setup and can change it so it runs not only if the Haskabelle repository changes, but also if the Isabelle repository changed? I guess you are referring to the Haskabelle test inside mira. As far as I remember, this is the behaviour of the