| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-05-31 | Prepares for solution printing...HEADmaster | nsensfel |
| 2018-05-31 | Should output strings correctly (untested). | nsensfel |
| 2018-05-28 | Takes the property name as a parameter. | nsensfel |
| 2018-05-28 | Converts the IDP result to HaStABeL. | nsensfel |