Olivier Binda

Please make sure to preserve tokens like %s, %1$s or %2$s Modifying these will lead to crashs... Also, it would be nice to preserve "\n", "" to replace "..." (3...

1) Please add support for the xliff official attribute/tags xliff attribute in the resource tag: xmlns:xliff="http://schemas.android.com/apk/res/android" and those tags inside strings : xliff:g /xliff:g 2) Please make sure format argument...

Parsing TeX to math.js

7

It would be nice, if at some point math.js could parse a subset of TeX into a node tree. There is absolutely no urgency and it might be possible to...

Is there a way to have the horizontal progress bar under the ActionBar, instead of above like with this : supportRequestWindowFeature(Window.FEATURE_PROGRESS) // setting the content view setSupportProgressBarIndeterminate(true) setSupportProgressBarVisibility(true)

fix this please : var instead of val, cast not needed ?

9

In Kotlin.stg... Could you have a look if it would be possible to remove this cast _localctx as (it gives me a lot of uneeded cast warning in intellij idea)...

lazy targets (function that returns nodes, called at start of the animation)

3

I would like to create a timeline to animate dynamically added nodes (say in 15 min long tutoring javascript animations) I think that I have 3 paths : 1 create...

I could not find a way to get a mo node in the mathml that katex outputs with the following entities U+2061 FUNCTION APPLICATION; U+2062 INVISIBLE TIMES; U+2063 INVISIBLE SEPARATOR;...

How should we use RxBinding with GestureDetector and GestureListeners ?

1

We can observe MotionEvents but, if I'm not mistaken, a GestureDetector is used through inheritance in the onTouchEvent Method of a view (i.e it takes code to set and unset)...

first tests for (mm0 parser, mmu parser, mm0+mmu proof checker)

32

Please tell me what is wrong so that I can fix it and make the next prs behave better. Best regards, Olivier

mm0 for kotlin

61

Hello, In the peano examples. Is it normal that term al has type wff () in mmu : ` (term al ((x nat) (ph wff (x))) (wff ()))` and type...