isabelle: Changelog

wenzelm [Fri, 21 Oct 2016 11:45:35 +0200] rev 64332

less ambitious test;

wenzelm [Fri, 21 Oct 2016 11:19:15 +0200] rev 64331

proper type for Poly/ML development version;

wenzelm [Fri, 21 Oct 2016 11:00:16 +0200] rev 64330

more operations;

haftmann [Thu, 20 Oct 2016 20:03:32 +0200] rev 64329

more on sgn in linear ordered fields

wenzelm [Thu, 20 Oct 2016 23:42:41 +0200] rev 64328

merged

wenzelm [Thu, 20 Oct 2016 23:42:12 +0200] rev 64327

test for Windows/Cygwin;

wenzelm [Thu, 20 Oct 2016 23:39:15 +0200] rev 64326

extra trim_line for the sake of Windows;

wenzelm [Thu, 20 Oct 2016 23:05:13 +0200] rev 64325

prevent sporadic disconnection;

wenzelm [Thu, 20 Oct 2016 16:29:02 +0200] rev 64324

check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;

nipkow [Thu, 20 Oct 2016 19:39:27 +0200] rev 64323

tuned

isabelle