isabelle: Changelog

haftmann [Tue, 10 Aug 2010 15:09:39 +0200] rev 38315

basic renumbering

haftmann [Tue, 10 Aug 2010 15:07:39 +0200] rev 38314

avoiding redundant primes

haftmann [Tue, 10 Aug 2010 14:57:58 +0200] rev 38313

separated type from term parameters

haftmann [Tue, 10 Aug 2010 14:53:41 +0200] rev 38312

moved extra_tfrees check for mixfix syntax to Generic_Target

haftmann [Tue, 10 Aug 2010 14:47:22 +0200] rev 38311

name and argument grouping tuning

haftmann [Tue, 10 Aug 2010 14:42:30 +0200] rev 38310

whitespace tuning

haftmann [Tue, 10 Aug 2010 14:15:44 +0200] rev 38309

added generic_target.ML

haftmann [Tue, 10 Aug 2010 14:11:28 +0200] rev 38308

try to uniformly follow define/note/abbrev/declaration order as close as possible

haftmann [Tue, 10 Aug 2010 14:06:38 +0200] rev 38307

split off structure Generic_Target into separate file

haftmann [Tue, 10 Aug 2010 13:58:26 +0200] rev 38306

split off generic parts of target implementations into separate structure

isabelle