[isabelle-dev] Feature suggestion: apply (meth[1!])

Michael Norrish michael.norrish at nicta.com.au
Mon Mar 25 21:26:22 CET 2013


There is not yet a version of the C parser for Isabelle 2013, but there will be soon.

Michael

On 26/03/2013, at 4:01, Lars Noschinski <noschinl at in.tum.de> wrote:

> On 25.03.2013 17:21, Makarius wrote:
>> On Mon, 11 Mar 2013, Lars Noschinski wrote:
>> 
>>> Indeed and I'm in happy situation that I'm able to share my sources.
>>> Unfortunately, due to necessary background theory, this example is quite
>>> large and depends on autocorres[1] and hence Isabelle 2012.
>>> 
>>> [1] http://ssrg.nicta.com.au/projects/TS/autocorres/
>> 
>> Is there a version for Isabelle2013? Note that Isabelle2012 ->
>> Isabelle2013 involves unusually few incompatibilities, so the update
>> would spare anybody from struggling with old IsaMakefiles again.
> 
> Not that I know of. But maybe David has already ported it?
> 
>  -- Lars
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list