Mon, 01 Dec 2008 14:41:13 +0100 wenzelm adapted description: old CVS;
Mon, 01 Dec 2008 13:43:32 +0100 ballarin Methods intro_locales and unfold_locales apply to both old and new locales.
Mon, 01 Dec 2008 12:17:04 +0100 haftmann code_include with attach
Mon, 01 Dec 2008 12:17:03 +0100 haftmann experimental implementation of a well-sorting algorithm
Mon, 01 Dec 2008 12:17:02 +0100 haftmann code_funcgr interface includes also sort algebra
Mon, 01 Dec 2008 12:17:01 +0100 haftmann exported get_accesses (for diagnostic purpose)
Mon, 01 Dec 2008 12:17:00 +0100 haftmann more means for algebra projection
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip