| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | 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 | |