Thu, 02 May 2013 14:04:56 +0200 export one more function
blanchet [Thu, 02 May 2013 14:04:56 +0200] rev 51860
export one more function
Thu, 02 May 2013 12:35:02 +0200 rationalized data structure
blanchet [Thu, 02 May 2013 12:35:02 +0200] rev 51859
rationalized data structure
Thu, 02 May 2013 11:58:18 +0200 added and moved library functions (used in primrec code)
blanchet [Thu, 02 May 2013 11:58:18 +0200] rev 51858
added and moved library functions (used in primrec code)
Thu, 02 May 2013 11:19:05 +0200 tuned names -- co_ and un_ with underscore are to be understood as (co) and (un)
blanchet [Thu, 02 May 2013 11:19:05 +0200] rev 51857
tuned names -- co_ and un_ with underscore are to be understood as (co) and (un)
Thu, 02 May 2013 10:16:40 +0200 tuning
blanchet [Thu, 02 May 2013 10:16:40 +0200] rev 51856
tuning
Thu, 02 May 2013 10:11:14 +0200 more code rationalization
blanchet [Thu, 02 May 2013 10:11:14 +0200] rev 51855
more code rationalization
Thu, 02 May 2013 10:05:30 +0200 more code rationalization
blanchet [Thu, 02 May 2013 10:05:30 +0200] rev 51854
more code rationalization
Thu, 02 May 2013 09:50:58 +0200 more code rationalization
blanchet [Thu, 02 May 2013 09:50:58 +0200] rev 51853
more code rationalization
Thu, 02 May 2013 09:41:29 +0200 refactoring
blanchet [Thu, 02 May 2013 09:41:29 +0200] rev 51852
refactoring
Thu, 02 May 2013 03:13:47 +0200 tuned
nipkow [Thu, 02 May 2013 03:13:47 +0200] rev 51851
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip