Hi Andreas, see now http://isabelle.in.tum.de/repos/isabelle/rev/91f9e4148460.
Despite the ambitious commit message, for economic reasons I did not
attempt to modernize the whole preprocessor but restricted myself to
low-level tinkering with maxidx.
Cheers,
Florian
On 18.06.2014 23:19, Florian Haftmann wrote:
> Hi Andreas,
>
> thanks for reporting this.
>
> The attached patch attempts to get this correct. Due to the current
> breakdowns I have not yet been able to test or push it.
>
> Cheers,
> Florian
>
>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
