Fri, 16 Aug 2013 21:33:36 +0200 wenzelm more standard attribute_setup / method_setup -- export key ML operations instead of parsers;
Fri, 16 Aug 2013 21:28:05 +0200 wenzelm standardized aliases;
Fri, 16 Aug 2013 20:58:15 +0200 wenzelm more markup -- avoid old Locale.extern;
Fri, 16 Aug 2013 19:03:31 +0200 blanchet renamed function
Fri, 16 Aug 2013 18:56:33 +0200 blanchet eliminate quasi-duplicate function
Fri, 16 Aug 2013 18:45:57 +0200 blanchet generalized "mk_permute"
Fri, 16 Aug 2013 18:36:55 +0200 blanchet tuning
Fri, 16 Aug 2013 18:14:58 +0200 blanchet added more functions to BNF library
Fri, 16 Aug 2013 18:06:37 +0200 blanchet moved function to where it seems to belong
Fri, 16 Aug 2013 18:04:39 +0200 blanchet moved library function where it belongs, and used Dmitriy's inside-out implementation
Fri, 16 Aug 2013 16:48:46 +0200 blanchet added useful library function
Fri, 16 Aug 2013 15:49:16 +0200 traytel tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 tip