| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-12-19 | bugfix: the linearizer should not generate extra space at the end of the sent... | kr.angelov |
| 2012-12-19 | bugfix for linearization of metavariables at the root of a tree | kr.angelov |
| 2012-12-19 | rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ... | kr.angelov |
