isabelle: Changelog

blanchet [Thu, 10 Jan 2013 23:34:20 +0100] rev 50815

make name table work the way it was intended to

blanchet [Thu, 10 Jan 2013 23:34:19 +0100] rev 50814

export MeSh data as well

wenzelm [Thu, 10 Jan 2013 23:02:58 +0100] rev 50813

merged

wenzelm [Thu, 10 Jan 2013 21:20:14 +0100] rev 50812

manage cygwin as bundled quasi-component;

wenzelm [Thu, 10 Jan 2013 21:14:01 +0100] rev 50811

tuned;

wenzelm [Thu, 10 Jan 2013 20:41:52 +0100] rev 50810

outermost directory structure for Windows/Cygwin;

wenzelm [Thu, 10 Jan 2013 20:23:16 +0100] rev 50809

updated for release;

wenzelm [Thu, 10 Jan 2013 19:53:38 +0100] rev 50808

more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";

wenzelm [Thu, 10 Jan 2013 19:07:44 +0100] rev 50807

clarified cygwin/isabelle scripts;

wenzelm [Thu, 10 Jan 2013 17:53:15 +0100] rev 50806

more systematic makedist_cygwin;

isabelle