isabelle: Changelog

wenzelm [Thu, 28 Aug 2008 22:26:21 +0200] rev 28055

provide HOME_JVM=HOME to prevent implicit cygpath mangling;

haftmann [Thu, 28 Aug 2008 22:09:20 +0200] rev 28054

restructured and split code serializer module

haftmann [Thu, 28 Aug 2008 22:08:11 +0200] rev 28053

no parameter prefix for class interpretation

haftmann [Thu, 28 Aug 2008 22:08:02 +0200] rev 28052

updated

wenzelm [Thu, 28 Aug 2008 20:29:40 +0200] rev 28051

tuned fold_lines;

wenzelm [Thu, 28 Aug 2008 20:19:45 +0200] rev 28050

fold_lines: simplified, more efficient due to String.fields;

wenzelm [Thu, 28 Aug 2008 19:34:51 +0200] rev 28049

rm fifo after open;

wenzelm [Thu, 28 Aug 2008 19:31:55 +0200] rev 28048

dummy setup for completion;

wenzelm [Thu, 28 Aug 2008 19:31:13 +0200] rev 28047

create named pipe;

wenzelm [Thu, 28 Aug 2008 19:29:59 +0200] rev 28046

added is_cygwin; added exec2, which joins stdout/stderr; tuned thread arrangement;

isabelle