isabelle: Changelog

wenzelm [Mon, 06 Sep 2010 13:06:27 +0200] rev 39155

some results of concurrency code inspection;

wenzelm [Mon, 06 Sep 2010 12:38:45 +0200] rev 39154

merged;

blanchet [Mon, 06 Sep 2010 11:53:42 +0200] rev 39153

mention ~/.isabelle/etc/settings file

blanchet [Mon, 06 Sep 2010 11:28:06 +0200] rev 39152

make remote ATP invocation work for those people who need to go through a proxy; thanks go to Mathieu G. for that fix

krauss [Sun, 05 Sep 2010 21:39:30 +0200] rev 39151

enabled do notation for option type

krauss [Sun, 05 Sep 2010 21:39:24 +0200] rev 39150

removed duplicate lemma

krauss [Sun, 05 Sep 2010 21:39:16 +0200] rev 39149

added Option.bind

haftmann [Sat, 04 Sep 2010 21:14:40 +0200] rev 39148

merged

haftmann [Sat, 04 Sep 2010 21:13:13 +0200] rev 39147

printing combinator for hierarchical programs

haftmann [Sat, 04 Sep 2010 21:12:42 +0200] rev 39146

merged

isabelle