| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| in parser.c and reasoner.c | |||
