Thu, 25 Apr 2013 17:13:24 +0200 generate proper attributes for coinduction rules
blanchet [Thu, 25 Apr 2013 17:13:24 +0200] rev 51777
generate proper attributes for coinduction rules
Thu, 25 Apr 2013 13:22:45 +0200 updated to jdk-7u21;
wenzelm [Thu, 25 Apr 2013 13:22:45 +0200] rev 51776
updated to jdk-7u21;
Thu, 25 Apr 2013 11:59:21 +0200 revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space
hoelzl [Thu, 25 Apr 2013 11:59:21 +0200] rev 51775
revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space
Thu, 25 Apr 2013 10:35:56 +0200 renamed linear_continuum_topology to connected_linorder_topology (and mention in NEWS)
hoelzl [Thu, 25 Apr 2013 10:35:56 +0200] rev 51774
renamed linear_continuum_topology to connected_linorder_topology (and mention in NEWS)
Wed, 24 Apr 2013 13:28:30 +0200 spell conditional_ly_-complete lattices correct
hoelzl [Wed, 24 Apr 2013 13:28:30 +0200] rev 51773
spell conditional_ly_-complete lattices correct
Thu, 25 Apr 2013 10:31:10 +0200 specify nicer names for map, set and rel in the stream library
traytel [Thu, 25 Apr 2013 10:31:10 +0200] rev 51772
specify nicer names for map, set and rel in the stream library
Thu, 25 Apr 2013 09:25:50 +0200 start making "wrap_data" more robust
blanchet [Thu, 25 Apr 2013 09:25:50 +0200] rev 51771
start making "wrap_data" more robust
Thu, 25 Apr 2013 08:56:37 +0200 no eta-expansion for case in split rules and case_conv
blanchet [Thu, 25 Apr 2013 08:56:37 +0200] rev 51770
no eta-expansion for case in split rules and case_conv
Thu, 25 Apr 2013 08:56:10 +0200 simplified code -- no need for two attempts, the error we get from mixfix the first time is good (and better to get than a parse error in the specification because the user tries to use a mixfix that silently failed)
blanchet [Thu, 25 Apr 2013 08:56:10 +0200] rev 51769
simplified code -- no need for two attempts, the error we get from mixfix the first time is good (and better to get than a parse error in the specification because the user tries to use a mixfix that silently failed)
Wed, 24 Apr 2013 22:48:22 +0200 proper error generated for wrong mixfix
blanchet [Wed, 24 Apr 2013 22:48:22 +0200] rev 51768
proper error generated for wrong mixfix
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip