Tue, 24 Jul 2007 15:21:54 +0200 updated
haftmann [Tue, 24 Jul 2007 15:21:54 +0200] rev 23956
updated
Tue, 24 Jul 2007 15:20:53 +0200 added compile_term interface
haftmann [Tue, 24 Jul 2007 15:20:53 +0200] rev 23955
added compile_term interface
Tue, 24 Jul 2007 15:20:52 +0200 swapped class projection order
haftmann [Tue, 24 Jul 2007 15:20:52 +0200] rev 23954
swapped class projection order
Tue, 24 Jul 2007 15:20:51 +0200 interpretation_in
haftmann [Tue, 24 Jul 2007 15:20:51 +0200] rev 23953
interpretation_in
Tue, 24 Jul 2007 15:20:50 +0200 tuned
haftmann [Tue, 24 Jul 2007 15:20:50 +0200] rev 23952
tuned
Tue, 24 Jul 2007 15:20:49 +0200 renamed lcm_lowest to lcm_least
haftmann [Tue, 24 Jul 2007 15:20:49 +0200] rev 23951
renamed lcm_lowest to lcm_least
Tue, 24 Jul 2007 15:20:48 +0200 dropped axclass
haftmann [Tue, 24 Jul 2007 15:20:48 +0200] rev 23950
dropped axclass
Tue, 24 Jul 2007 15:20:47 +0200 using interpretation with derived concepts
haftmann [Tue, 24 Jul 2007 15:20:47 +0200] rev 23949
using interpretation with derived concepts
Tue, 24 Jul 2007 15:20:45 +0200 using class target
haftmann [Tue, 24 Jul 2007 15:20:45 +0200] rev 23948
using class target
Mon, 23 Jul 2007 22:18:05 +0200 added proper implementation of self_critical, CRITICAL;
wenzelm [Mon, 23 Jul 2007 22:18:05 +0200] rev 23947
added proper implementation of self_critical, CRITICAL;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip