Tue, 30 Apr 2013 11:28:43 +0200 tuning
blanchet [Tue, 30 Apr 2013 11:28:43 +0200] rev 51830
tuning
Tue, 30 Apr 2013 10:58:25 +0200 signature tuning
blanchet [Tue, 30 Apr 2013 10:58:25 +0200] rev 51829
signature tuning
Tue, 30 Apr 2013 10:07:41 +0200 whitespace tuning
blanchet [Tue, 30 Apr 2013 10:07:41 +0200] rev 51828
whitespace tuning
Tue, 30 Apr 2013 09:53:56 +0200 tuned signature
blanchet [Tue, 30 Apr 2013 09:53:56 +0200] rev 51827
tuned signature
Tue, 30 Apr 2013 03:18:07 +0200 canonical names of classes
nipkow [Tue, 30 Apr 2013 03:18:07 +0200] rev 51826
canonical names of classes
Mon, 29 Apr 2013 18:52:35 +0200 merged
blanchet [Mon, 29 Apr 2013 18:52:35 +0200] rev 51825
merged
Mon, 29 Apr 2013 18:52:18 +0200 register all (co)datatypes in local data
blanchet [Mon, 29 Apr 2013 18:52:18 +0200] rev 51824
register all (co)datatypes in local data
Mon, 29 Apr 2013 17:37:00 +0200 create data structure for storing (co)datatype information
blanchet [Mon, 29 Apr 2013 17:37:00 +0200] rev 51823
create data structure for storing (co)datatype information
Mon, 29 Apr 2013 17:17:20 +0200 avoid empty isabelletags.sty for the sake of arXiv;
wenzelm [Mon, 29 Apr 2013 17:17:20 +0200] rev 51822
avoid empty isabelletags.sty for the sake of arXiv;
Mon, 29 Apr 2013 17:08:57 +0200 merged
wenzelm [Mon, 29 Apr 2013 17:08:57 +0200] rev 51821
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip