isabelle: Changelog

wenzelm [Sat, 12 Jan 2013 14:56:57 +0100] rev 50844

populate "main" session group, e.g. relevant for Isabelle/jEdit logic selection;

wenzelm [Sat, 12 Jan 2013 14:53:56 +0100] rev 50843

removed unused/non-portable bash_output_fifo;

wenzelm [Sat, 12 Jan 2013 14:47:17 +0100] rev 50842

tuned signature;

blanchet [Sat, 12 Jan 2013 16:49:40 +0100] rev 50841

honor filtering out of arguments for built-in constants (e.g. representation of numerals)

blanchet [Sat, 12 Jan 2013 16:49:39 +0100] rev 50840

new version of MaSh Python component

wenzelm [Fri, 11 Jan 2013 22:38:12 +0100] rev 50839

prefer MS-DOS-style temp;

wenzelm [Fri, 11 Jan 2013 22:23:03 +0100] rev 50838

more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;

wenzelm [Fri, 11 Jan 2013 22:16:48 +0100] rev 50837

merged

wenzelm [Fri, 11 Jan 2013 22:01:49 +0100] rev 50836

more NEWS;

wenzelm [Fri, 11 Jan 2013 21:51:39 +0100] rev 50835

proper path names;

isabelle