[isabelle-dev] [isabelle] Code_Abstract_Nat raises exception for a variable with name g

[Florian Haftmann]

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-dev at 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140629/18d7447c/attachment.sig>