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 <nosch...@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-...@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