isabelle: Changelog

wenzelm [Sun, 12 Aug 2007 18:53:05 +0200] rev 24233

read_def_terms': restrict scope of disambiguation to individual term;

wenzelm [Sun, 12 Aug 2007 18:53:04 +0200] rev 24232

stream source: non-critical, assuming exclusive ownership;

wenzelm [Sun, 12 Aug 2007 18:53:03 +0200] rev 24231

added type constraints to resolve syntax ambiguities;

wenzelm [Sun, 12 Aug 2007 14:14:24 +0200] rev 24230

made SML/NJ happy;

wenzelm [Sat, 11 Aug 2007 17:50:23 +0200] rev 24229

schedule_tasks: alphabetical order for equivalent tasks;

wenzelm [Fri, 10 Aug 2007 22:31:19 +0200] rev 24228

simultaneous use_thys;

wenzelm [Fri, 10 Aug 2007 18:21:25 +0200] rev 24227

tuned ML bindings;

haftmann [Fri, 10 Aug 2007 17:10:09 +0200] rev 24226

tuned

haftmann [Fri, 10 Aug 2007 17:10:06 +0200] rev 24225

dropped code generator setup garbage

haftmann [Fri, 10 Aug 2007 17:10:05 +0200] rev 24224

syntax fix

isabelle