]>
2009-06-29 | Ferruccio Guidi | lambda-delta: | blob | commitdiff | raw |
2009-06-28 | Ferruccio Guidi | new kernel basic_rg: implements ufficial lambda-delta... | blob | commitdiff | raw | diff to current |
2008-12-14 | Ferruccio Guidi | we are changing the kernel version from basic_rg to... | blob | commitdiff | raw |
2008-12-14 | Ferruccio Guidi | autItem : the uris of the objects involved in the impli... | blob | commitdiff | raw | diff to current |
2008-12-12 | Ferruccio Guidi | improved type hierarchy management | blob | commitdiff | raw | diff to current |
2008-12-12 | Ferruccio Guidi | - basic_rg: architectural bug fix | blob | commitdiff | raw | diff to current |
2008-12-10 | Ferruccio Guidi | - new semantic log system | blob | commitdiff | raw | diff to current |
2008-12-09 | Ferruccio Guidi | first version of kernel "basic_rg" | blob | commitdiff | raw | diff to current |