isabelle: Changelog

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

wenzelm [Thu, 01 May 2014 10:02:33 +0200] rev 56804

updated keywords;

wenzelm [Wed, 30 Apr 2014 22:45:26 +0200] rev 56803

clarified signature: load_file is still required internally;

wenzelm [Wed, 30 Apr 2014 22:35:42 +0200] rev 56802

merged

isabelle