isabelle: Changelog

wenzelm [Thu, 01 May 2014 22:41:03 +0200] rev 56814

tuned output;

haftmann [Thu, 01 May 2014 10:20:20 +0200] rev 56813

separate ML module

haftmann [Thu, 01 May 2014 09:30:36 +0200] rev 56812

centralized upper/lowercase name mangling

haftmann [Thu, 01 May 2014 09:30:35 +0200] rev 56811

optional case enforcement

haftmann [Thu, 01 May 2014 09:30:34 +0200] rev 56810

obsolete: no symbol identifiers remaining in Pure

haftmann [Thu, 01 May 2014 09:30:34 +0200] rev 56809

prevent subscription in nested contexts explicitly -- at foundational and user level

haftmann [Thu, 01 May 2014 09:30:33 +0200] rev 56808

cleanup

haftmann [Thu, 01 May 2014 09:30:32 +0200] rev 56807

NEWS

panny [Thu, 01 May 2014 14:07:27 +0200] rev 56806

use qualified name (was interpreted as a catch-all variable name)

panny [Thu, 01 May 2014 14:05:29 +0200] rev 56805

add additional check to avoid selector formula right-hand side consisting of a nullary constructor getting interpreted as a discriminator formula

isabelle