Thu, 15 May 2014 18:18:50 +0200 type
haftmann [Thu, 15 May 2014 18:18:50 +0200] rev 56964
type
Wed, 14 May 2014 13:36:35 +0200 merged
wenzelm [Wed, 14 May 2014 13:36:35 +0200] rev 56963
merged
Wed, 14 May 2014 13:10:57 +0200 restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
wenzelm [Wed, 14 May 2014 13:10:57 +0200] rev 56962
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
Wed, 14 May 2014 13:07:47 +0200 updated isatest;
wenzelm [Wed, 14 May 2014 13:07:47 +0200] rev 56961
updated isatest;
Wed, 14 May 2014 12:24:38 +0200 updated to polyml-5.5.2;
wenzelm [Wed, 14 May 2014 12:24:38 +0200] rev 56960
updated to polyml-5.5.2;
Wed, 14 May 2014 12:15:07 +0200 practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
wenzelm [Wed, 14 May 2014 12:15:07 +0200] rev 56959
practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
Wed, 14 May 2014 12:00:18 +0200 updated to polyml-5.5.2;
wenzelm [Wed, 14 May 2014 12:00:18 +0200] rev 56958
updated to polyml-5.5.2;
Wed, 14 May 2014 11:37:48 +0200 document 'set_empty'
desharna [Wed, 14 May 2014 11:37:48 +0200] rev 56957
document 'set_empty'
Mon, 12 May 2014 17:42:54 +0200 generate 'set_empty' theorem for BNFs
desharna [Mon, 12 May 2014 17:42:54 +0200] rev 56956
generate 'set_empty' theorem for BNFs
Thu, 08 May 2014 12:54:33 +0200 document 'map_id0'
desharna [Thu, 08 May 2014 12:54:33 +0200] rev 56955
document 'map_id0'
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip