1.7.1
2022-05-01
Minimal update for spring 2022
- fixed crash in bool+tool
- removed broken tutorial
- updated or removed outdated web links
- updated to web kit's web view
- updated project settings
1.6
2019-03-06
Removed or substituted deprecated APIs.
1.5
2016-02-20
App Icons for newer iPads added.
Split screen works fine on iPad Pro
1.4
2014-12-01
- bugfix: syntax tree nodes were not drawn correctly (iOS 7).
- bugfix: exercise sheets were too small (iOS 8).
- bugfix: equivalence transformations for xor and bicondition did not work.
1.3
2013-09-13
- iOS 7 adjustments, but no visual optimizations
- at least one equivalence transformation was missing
- still supports iOS 5, but future versions will support iOS 6 and 7 only.
1.2
2013-04-29
- Reduced binary decision diagrams are always correct now.
- Edges of reduced decision diagrams do not cross any nodes.
1.1
2013-03-10
- Hints for Playground
- Minor bugfixes