Davide P. Cervone f47dbc4cc0 Merge branch 'issue119' into develop		2012-08-20 10:13:25 -04:00
..
config.js	Use the unicode characters that Fred has been asking for for a while. This covers most of issues #116, #119, and #216. Still need to merge multiple primes into the characters for those.	2012-08-19 20:13:46 -04:00
jax.js	Merge branch 'issue119' into develop	2012-08-20 10:13:25 -04:00