isabelle: Changelog

traytel [Mon, 29 Apr 2013 10:03:35 +0200] rev 51806

tuned operator precedence

blanchet [Mon, 29 Apr 2013 09:45:14 +0200] rev 51805

use record instead of huge tuple

blanchet [Mon, 29 Apr 2013 09:10:49 +0200] rev 51804

renamed BNF "(co)data" commands to names that are closer to their final names

nipkow [Mon, 29 Apr 2013 06:13:36 +0200] rev 51803

tuned

nipkow [Mon, 29 Apr 2013 04:30:05 +0200] rev 51802

tuned

nipkow [Mon, 29 Apr 2013 04:20:42 +0200] rev 51801

tuned

nipkow [Sun, 28 Apr 2013 09:10:43 +0200] rev 51800

tuned

ballarin [Sat, 27 Apr 2013 21:56:45 +0200] rev 51799

Clarified confusing sentence in locales tutorial.

wenzelm [Sat, 27 Apr 2013 20:50:20 +0200] rev 51798

uniform Proof.context for hyp_subst_tac;

blanchet [Sat, 27 Apr 2013 11:37:50 +0200] rev 51797

tuned ML and thy file names

isabelle