Fri, 24 Jul 2015 22:19:36 +0200 unused;
wenzelm [Fri, 24 Jul 2015 22:19:36 +0200] rev 60775
unused;
Fri, 24 Jul 2015 22:16:39 +0200 proper context;
wenzelm [Fri, 24 Jul 2015 22:16:39 +0200] rev 60774
proper context;
Thu, 23 Jul 2015 22:13:42 +0200 more symbols by default, without xsymbols mode;
wenzelm [Thu, 23 Jul 2015 22:13:42 +0200] rev 60773
more symbols by default, without xsymbols mode;
Thu, 23 Jul 2015 16:40:47 +0200 Measures form a CCPO
hoelzl [Thu, 23 Jul 2015 16:40:47 +0200] rev 60772
Measures form a CCPO
Thu, 23 Jul 2015 16:39:10 +0200 reorganized Extended_Real
hoelzl [Thu, 23 Jul 2015 16:39:10 +0200] rev 60771
reorganized Extended_Real
Thu, 23 Jul 2015 14:25:05 +0200 isabelle update_cartouches;
wenzelm [Thu, 23 Jul 2015 14:25:05 +0200] rev 60770
isabelle update_cartouches;
Thu, 23 Jul 2015 14:20:51 +0200 tuned proofs;
wenzelm [Thu, 23 Jul 2015 14:20:51 +0200] rev 60769
tuned proofs;
Thu, 23 Jul 2015 13:28:34 +0200 proper latex;
wenzelm [Thu, 23 Jul 2015 13:28:34 +0200] rev 60768
proper latex;
Wed, 22 Jul 2015 23:26:00 +0200 tuned proofs;
wenzelm [Wed, 22 Jul 2015 23:26:00 +0200] rev 60767
tuned proofs;
Wed, 22 Jul 2015 14:55:42 +0200 tuned proofs;
wenzelm [Wed, 22 Jul 2015 14:55:42 +0200] rev 60766
tuned proofs;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip