Ciprian Teodorov

Slow vertical scroll on OSX

6

The vertical scroll lacks fluidity on OSX 10.11.6, while the horizontal scroll works as expected. I have this problem with the demos, with juliar, and with my apps that integrate...

Trackpad scrolling with momentum doesn't work on OS X

2

The vertical scroll lacks fluidity on OSX 10.11.6, while the horizontal scroll works as expected. I have this problem with the demos, with juliar, and with my apps that integrate...

Hi, This pull request defines the substitutions for the [TLA+ language](https://lamport.azurewebsites.net/tla/tla.html) . best regards, ciprian