| summaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prepares for solution printing... | nsensfel | 7 years | |
| Age | Commit message | Author | ||
| 2018-05-31 | Prepares for solution printing...HEADmaster | nsensfel | ||
| 2018-05-31 | Should output strings correctly (untested). | nsensfel | ||
| 2018-05-30 | Considerable speed boost. | nsensfel | ||
| 2018-05-30 | Should also publish standalone. | nsensfel | ||
| 2018-05-30 | Fixes elements being taken for free variables. | nsensfel | ||
| 2018-05-29 | Seems to work now, albeit too slowly for real use. | nsensfel | ||
| 2018-05-29 | Trying (and failing) to use the async FF prop. | nsensfel | ||
| 2018-05-28 | Takes the property name as a parameter. | nsensfel | ||
| 2018-05-28 | Converts the IDP result to HaStABeL. | nsensfel | ||
| 2018-05-28 | Can now run IDP. | nsensfel | ||
| [...] | ||||