Eugene Loy

@kevinmehall Thanks for pointing this out! Maintaining persistent cell id was a major pain while implementing kernel for vanilla notebook frontend. I am pretty sure this will help with JupyterLab...

Thanks for pointing this out! I will add this soon.

@SotaroOKUDA Hi. At the moment support for windows is not implemented and, TBH, I am not sure whether it is worth the effort. If I'll see interest in it I'll...

@SotaroOKUDA it looks like all required methods are present. Might actually work.

Tactics and vernacular are updated based on 8.8.2 documentation. However, current coq mode needs major overhaul, so it is too early to close this ticket yet.

Hi, sorry for late reply. > You didn't choose to use serapi, so I am curious, why is that? I'd say that the main reason that I wanted to introduce...

Haven't tried it on the Android/IOS devices, so cannot say anything specific right now. Will be able to test it and see how it looks in a few days.

... the only thing I can say right now, however, is that making icons bigger make list pages on desktop browsers look somewhat awkward to my taste (height of the...

Sorry for the lack of updates on this for a while. Tried this on Nexus 7 and iPhone 5s - buttons are not super large but clickable enough. Not seeing...

@bhagyas are you going to merge or reject this?