]>
2013-02-17 | bg | global style change (now * is attached to identifier... | blob | commitdiff | raw |
2012-03-14 | bg | a lot of fixes | blob | commitdiff | raw | diff to current |
2011-01-22 | bg | trivium fixed; further migrating to SCAL | blob | commitdiff | raw | diff to current |
2009-08-06 | bg | modified structure | blob | commitdiff | raw | diff to current |