summaryrefslogtreecommitdiff |
Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Prepares for solution printing... | nsensfel | 5 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 | ||
[...] | ||||
Clone | ||||
https://git.noot-noot.org/clone/hastabel2idp |