Thu, 23 Jul 2009 18:44:10 +0200 Proper context for simpset_of, claset_of, clasimpset_of.
wenzelm [Thu, 23 Jul 2009 18:44:10 +0200] rev 32151
Proper context for simpset_of, claset_of, clasimpset_of.
Thu, 23 Jul 2009 18:44:09 +0200 local simpset_of;
wenzelm [Thu, 23 Jul 2009 18:44:09 +0200] rev 32150
local simpset_of;
Thu, 23 Jul 2009 18:44:09 +0200 renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
wenzelm [Thu, 23 Jul 2009 18:44:09 +0200] rev 32149
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip