isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

Fri, 21 Oct 2016 11:02:36 +0200 HOL-Probability: Essential Supremum as Limsup over ae_filter

hoelzl [Fri, 21 Oct 2016 11:02:36 +0200] rev 64333

HOL-Probability: Essential Supremum as Limsup over ae_filter

Fri, 21 Oct 2016 11:45:35 +0200 less ambitious test;

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

less ambitious test;

Fri, 21 Oct 2016 11:19:15 +0200 proper type for Poly/ML development version;

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

proper type for Poly/ML development version;

Fri, 21 Oct 2016 11:00:16 +0200 more operations;

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

more operations;

Thu, 20 Oct 2016 20:03:32 +0200 more on sgn in linear ordered fields

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

more on sgn in linear ordered fields

Thu, 20 Oct 2016 23:42:41 +0200 merged

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

merged

Thu, 20 Oct 2016 23:42:12 +0200 test for Windows/Cygwin;

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

test for Windows/Cygwin;

Thu, 20 Oct 2016 23:39:15 +0200 extra trim_line for the sake of Windows;

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

extra trim_line for the sake of Windows;

Thu, 20 Oct 2016 23:05:13 +0200 prevent sporadic disconnection;

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

prevent sporadic disconnection;

Thu, 20 Oct 2016 16:29:02 +0200 check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;

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;

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

isabelle