Davide P. Cervone 6fd9c45c14 Add more detail to browser detection for Safari (since Windows Mobile thinks its Safari). Resolves issue #1085.		2015-07-08 17:20:28 -04:00
..
config	Update copyright dates.	2015-01-29 10:21:06 -05:00
extensions	Fix problem with dot delimiter not being recognized as a delimiter because TEXDEF.delimiter[.] returns an empty string. Resolves issue #1199.	2015-06-29 10:23:32 -04:00
jax	Merge branch 'issue1176' into develop. Resolves issue #1176.	2015-07-08 15:36:02 -04:00
localization	Update copyright dates.	2015-01-29 10:21:06 -05:00
MathJax.js	Add more detail to browser detection for Safari (since Windows Mobile thinks its Safari). Resolves issue #1085.	2015-07-08 17:20:28 -04:00