Davide P. Cervone 4e01303dee Rename mfenced() to fenced() since the mrow is not really equivalent (the mo's are forced to have stretchy=true). Resolves Fred's concerns for issue #475 for now.		2013-05-22 14:03:38 -04:00
..
config.js	Make sure mfenced delimiters are stretchy. Resolves issue #475.	2013-05-21 19:53:28 -04:00
jax.js	Rename mfenced() to fenced() since the mrow is not really equivalent (the mo's are forced to have stretchy=true). Resolves Fred's concerns for issue #475 for now.	2013-05-22 14:03:38 -04:00